The Compositional Specification of Timed Systems - A Tutorial
Abstract elided by the publisher.
Related papers
- Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial) CAV 2011
- A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java CAV 2007
- Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer TOPLAS 1981
- Invited Tutorial: Verification of Infinite-State and Parameterized Systems CAV 2000
- Composing fractals JFP 2004
- Tutorial on Separation Logic (Invited Tutorial) CAV 2008
- Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice ICFP 2026
- Visualization by example POPL 2020