The following pages link to Computer Aided Verification (Q5716583):
Displaying 10 items.
- Verification of consensus algorithms using satisfiability solving (Q658669) (← links)
- Action language verifier: An infinite-state model checker for reactive software specifications (Q845244) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Properties of a predicate transformer of the VRS system (Q2452750) (← links)
- Learning to verify branching time properties (Q2642669) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- Using Bounded Model Checking to Verify Consensus Algorithms (Q3540251) (← links)
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (Q3637253) (← links)
- Automatic Verification of Directory-Based Consistency Protocols (Q3646250) (← links)
- Light-Weight SMT-based Model Checking (Q5178977) (← links)