The following pages link to Computer Aided Verification (Q5900683):
Displaying 17 items.
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Automatic analysis of DMA races using model checking and \(k\)-induction (Q763238) (← links)
- Scaling model checking of dataraces using dynamic information (Q882147) (← links)
- Local proofs for global safety properties (Q1039842) (← links)
- Compositional abstraction refinement for control synthesis (Q1690521) (← links)
- Compositional reasoning for shared-variable concurrent programs (Q2024370) (← links)
- Thread-modular analysis of release-acquire concurrency (Q2145344) (← links)
- Verification of concurrent programs using Petri net unfoldings (Q2234071) (← links)
- Compositional analysis for verification of parameterized systems (Q2368952) (← links)
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- Counterexample-guided abstraction refinement for symmetric concurrent programs (Q2441711) (← links)
- Space-reduction strategies for model checking dynamic software (Q2845504) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609) (← links)
- Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification (Q6661749) (← links)
