IF: A Validation Environment for Timed Asynchronous Systems
No abstract available.
Related papers
- A real world object modeling method for creating simulation environment of real-time systems OOPSLA 2000
- IF-2.0: A Validation Environment for Component-Based Real-Time Systems CAV 2002
- Bounded Model Checking for Asynchronous Hyperproperties TACAS 2023
- Algorithmic verification of asynchronous programs TOPLAS 2012
- Scalable formal design methods for asynchronous VLSI POPL 2002
- Effective Synthesis of Asynchronous Systems from GR(1) Specifications VMCAI 2012
- P: safe asynchronous event-driven programming PLDI 2013
- FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions OOPSLA 2024