The following pages link to (Q2729071):
Displaying 6 items.
- Integration of verification methods for program systems (Q1040327) (← links)
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
- Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666) (← links)
- Are the logical foundations of verifying compiler prototypes matching user expectations? (Q2643125) (← links)
- Tool support for proof engineering (Q2867938) (← links)
- An Interactive Driver for Goal-directed Proof Strategies (Q5166499) (← links)