Formalizing the Institution for Event-B in the Coq Proof Assistant (English)
- New search for: Reynolds, Conor
- New search for: Reynolds, Conor
In:
Rigorous State-Based Methods
; 162-
;
2021
-
ISBN:
- Conference paper / Print
-
Title:Formalizing the Institution for Event-B in the Coq Proof Assistant
-
Contributors:Reynolds, Conor ( author )
-
Conference:ABZ ; 8. ; 2021 ; Online
-
Published in:Rigorous State-Based Methods ; 162-
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2021
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.10 Theoretische Informatik -
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on StreamsLi, Zilinghan / He, Shilan / Du, Yiqing / González, Senén / Schewe, Klaus-Dieter et al. | 2021
- 17
-
Towards ASM-Based Automated Formal Verification of Security ProtocolsBraghin, Chiara / Lilli, Mario / Riccobene, Elvinia et al. | 2021
- 34
-
Verifying System-Level Security of a Smart Ballot BoxDghaym, Dana / Hoang, Thai Son / Butler, Michael / Hu, Runshan / Aniello, Leonardo / Sassone, Vladimiro et al. | 2021
- 50
-
Proving the Safety of a Sliding Window Protocol with Event-BCoudert, Sophie et al. | 2021
- 66
-
Event-B Formalization of Event-B ContextsBodeveix, Jean-Paul / Filali, Mamoun et al. | 2021
- 81
-
Validation of Formal Models by Timed Probabilistic SimulationVu, Fabian / Leuschel, Michael / Mashkoor, Atif et al. | 2021
- 99
-
Sterling: A Web-Based Visualizer for Relational Modeling LanguagesDyer, Tristan / Baugh, John et al. | 2021
- 105
-
Extending ASMETA with Time FeaturesBombarda, Andrea / Bonfanti, Silvia / Gargantini, Angelo / Riccobene, Elvinia et al. | 2021
- 112
-
About the Concolic Execution and Symbolic ASM Function Promotion in CASMPaulweber, Philipp / Moosbrugger, Jakob / Zdun, Uwe et al. | 2021
- 118
-
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and ReflectionJiang, Fengqing / Xiong, Neng / Lian, Xinyu / González, Senén / Schewe, Klaus-Dieter et al. | 2021
- 124
-
The CamilleX Framework for the Rodin PlatformHoang, Thai Son / Snook, Colin / Dghaym, Dana / Fathabadi, Asieh Salehi / Butler, Michael et al. | 2021
- 130
-
Extensible Record Structures in Event-BFathabadi, Asieh Salehi / Snook, Colin / Hoang, Thai Son / Dghaym, Dana / Butler, Michael et al. | 2021
- 137
-
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-BEschbach, Robert et al. | 2021
- 143
-
Automatic Transformation of SysML Model to Event-B Model for Railway CCS ApplicationSalunkhe, Shubhangi / Berglehner, Randolf / Rasheeq, Abdul et al. | 2021
- 153
-
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB FrameworkRiviere, Peter et al. | 2021
- 158
-
A Modeling and Verification Framework for Security ProtocolsLilli, Mario et al. | 2021
- 162
-
Formalizing the Institution for Event-B in the Coq Proof AssistantReynolds, Conor et al. | 2021