The following pages link to Computer Aided Verification (Q5312938):
Displaying 14 items.
- SAL (Q25233) (← links)
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Model checking RAISE applicative specifications (Q470000) (← links)
- Progress in certifying hardware model checking results (Q832275) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Combining Model Checking and Deduction (Q3176378) (← links)
- Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems (Q3510802) (← links)
- Model Checking Simulation Rules for Linearizability (Q4571132) (← links)
- A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
- Alloy as a Refactoring Checker? (Q5403473) (← links)
- A Logic-Based Approach to Combinatorial Testing with Constraints (Q5458811) (← links)
