The CamilleX Framework for the Rodin Platform

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ABZ (Veranstaltung : 8. : 2021 : Online) Rigorous State-Based Methods
1. Verfasser:	Hoang, Thai Son (VerfasserIn)
Weitere Verfasser:	Snook, Colin (VerfasserIn), Dghaym, Dana (VerfasserIn), Fathabadi, Asieh Salehi (VerfasserIn), Butler, Michael (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams	2021	Li, Zilinghan
Verifying System-Level Security of a Smart Ballot Box	2021	Dghaym, Dana
Sterling: A Web-Based Visualizer for Relational Modeling Languages	2021	Dyer, Tristan
Event-B Formalization of Event-B Contexts	2021	Bodeveix, Jean-Paul
About the Concolic Execution and Symbolic ASM Function Promotion in CASM	2021	Paulweber, Philipp
The CamilleX Framework for the Rodin Platform	2021	Hoang, Thai Son
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection	2021	Jiang, Fengqing
Extending ASMETA with Time Features	2021	Bombarda, Andrea
Extensible Record Structures in Event-B	2021	Fathabadi, Asieh Salehi
Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application	2021	Salunkhe, Shubhangi
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B	2021	Eschbach, Robert
Formalizing the Institution for Event-B in the Coq Proof Assistant	2021	Reynolds, Conor
Towards ASM-Based Automated Formal Verification of Security Protocols	2021	Braghin, Chiara
Proving the Safety of a Sliding Window Protocol with Event-B	2021	Coudert, Sophie
Validation of Formal Models by Timed Probabilistic Simulation	2021	Vu, Fabian
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework	2021	Riviere, Peter
A Modeling and Verification Framework for Security Protocols	2021	Lilli, Mario