FoCs: Automatic Generation of Simulation Checkers from Formal Specifications
No abstract available.
Related papers
- Formal Language Recognition with the Java Type Checker ECOOP 2016
- Kratos2: An SMT-Based Model Checker for Imperative Programs CAV 2023
- FIG: The Finite Improbability Generator TACAS 2020
- Behavioral simulation for smart contracts PLDI 2020
- Line-up: a complete and automatic linearizability checker PLDI 2010
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study GPCE 2011
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) TACAS 2019
- The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems CAV 2007