Standard Conformance-by-Construction with Event-B

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems
1. Verfasser:	Mendil, Ismail (VerfasserIn)
Weitere Verfasser:	Aít-Ameur, Yamine (VerfasserIn), Singh, Neeraj Kumar (VerfasserIn), Mery, Dominique (VerfasserIn), Palanque, Philippe (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
Improving SMT Solver Integrations for the Validation of B and Event-B Models	2021	Schmidt, Joshua
Verifying the Mathematical Library of an UAV Autopilot with Frama-C	2021	Pollien, Baptiste
Merit and Blame Assignment with Kind 2	2021	Larraz, Daniel
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps	2021	Hansen, Simon Thrane
Automated Verification of Temporal Properties of Ladder Programs	2021	Lourenco, Cláudio Belo
Spatial Model Checking for Smart Stations: Research Challenges	2021	Beek, Maurice H. ter
On Education and Training in Formal Methods for Industrial Critical Systems	2021	Westphal, Bernd
Modular Transformation of Java Exceptions Modulo Errors	2021	Rubbens, Robert
Standard Conformance-by-Construction with Event-B	2021	Mendil, Ismail
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer: Applying Formal Methods to Railway Standard Interfaces	2021	Basile, Davide
Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker	2021	Bruttomesso, Roberto
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems	2021	Kiviriga, Andrej
Parametric Faults in Safety Critical Programs	2021	Jahanian, Hamid
ProB2-UI: A Java-Based User Interface for ProB	2021	Bendisposto, Jens
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems	2021	Thibeault, Quinn
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System	2021	Roberts, Riley