The following pages link to (Q4426387):
Displayed 13 items.
- BLAST (Q15473) (← links)
- An invariant-based approach to the verification of asynchronous parameterized networks (Q604385) (← links)
- Doomed program points (Q633286) (← links)
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- TASS: the toolkit for accurate scientific software (Q1949767) (← links)
- Rule-based static analysis of network protocol implementations (Q2482438) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- Stochastic Modelling of Communication Protocols from Source Code (Q2870288) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Counterexample Guided Path Reduction for Static Program Analysis (Q5187836) (← links)
- A Forward-Backward Abstraction Refinement Algorithm (Q5452721) (← links)
- On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)