Invited Tutorial: Verification of Infinite-State and Parameterized Systems
Abstract elided by the publisher.
Related papers
- Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial) CAV 2011
- Theorem Proving for Verification (Invited Tutorial) CAV 2008
- Learning Algorithms and Formal Verification (Invited Tutorial) VMCAI 2007
- Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial) CAV 2008
- Parameterized Verification of Infinite-State Processes with Global Conditions CAV 2007
- Infinite Games and Verification (Extended Abstract of a Tutorial) CAV 2002
- Tutorial on Separation Logic (Invited Tutorial) CAV 2008
- Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation CAV 2000