The following pages link to Verification: Theory and Practice (Q5305639):
Displaying 9 items.
- Program verification: state of the art, problems, and results. I (Q466416) (← links)
- The inevitability of inconsistent abstract spaces (Q1311395) (← links)
- Control and data abstraction: The cornerstones of practical formal verification (Q1856157) (← links)
- (Q2769580) (← links)
- PVS strategies for proving abstraction properties of automata (Q2848044) (← links)
- (Q4472179) (← links)
- Reuse in Software Verification by Abstract Method Calls (Q4928448) (← links)
- Computer Aided Verification (Q5716599) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900551) (← links)