An Integration of Model Checking with Automated Proof Checking
No abstract available.
Related papers
- Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols CAV 1998
- Automated Verification of Parallel Nested DFS TACAS 2020
- Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development TACAS 2024
- Effective Entailment Checking for Separation Logic with Inductive Definitions TACAS 2019
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Efficient Model Checking by Automated Ordering of Transition Relation Partitions CAV 1994
- Certified ACKBO CPP 2019
- Model Checking at Scale: Automated Air Traffic Control Design Space Exploration CAV 2016