| A Logic for Reflective ASMs
|
2020 |
Schewe, Klaus-Dieter |
| Programming the CLEARSY Safety Platform with B
|
2020 |
Lecomte, Thierry |
| Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
|
2020 |
Dupont, Guillaume |
| Verifying SGAC Access Control Policies: A Comparison of PRoB, ALLOY and Z3
|
2020 |
Oliveira, Diego de Azevedo |
| Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages
|
2020 |
Paulweber, Philipp |
| Adding Concurrency to a Sequential Refinement Tower
|
2020 |
Schellhorn, Gerhard |
| Formal Verification of Interoperability Between Future Network Architectures Using Alloy
|
2020 |
Jahanian, Mohammad |
| A Characterization of Distributed ASMs with Partial-Order Runs
|
2020 |
Börger, Egon |
| Analysing PRoB's Constraint Solving Backends: What Do They Know? Do They Know Things? Let’s Find Out!
|
2020 |
Dunkelau, Jannik |
| Towards a Shared Specification Repository
|
2020 |
Körner, Philipp |
| Modelling and Validating an Automotive System in Classical B and Event-B
|
2020 |
Leuschel, Michael |
| A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
|
2020 |
Krings, Sebastian |
| A Framework for Critical Interactive System Formal Modelling and Analysis
|
2020 |
Mendil, Ismail |
| Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering
|
2020 |
Clarisó, Robert |
| Modelling Hybrid Programs with Event-B
|
2020 |
Afendi, Meryem |
| Account and Transaction Protocol of the Open Banking Standard
|
2020 |
Almehrej, Abdulaziz |
| Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes
|
2020 |
Shokri-Manninen, Fatima |
| VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
|
2020 |
Werth, Michelle |
| ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods
|
2020 |
Geleßus, David |
| An Event-B Model of an Automotive Adaptive Exterior Light System
|
2020 |
Mammar, Amel |
Tag hinzufügen