The following pages link to (Q4791830):
Displaying 7 items.
- MAVEN: Modular aspect verification and interference analysis (Q609017) (← links)
- Syntax-directed model checking of sequential programs (Q1858441) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- A general framework for types in graph rewriting (Q2581012) (← links)
- Aspect Categories and Classes of Temporal Properties (Q3634732) (← links)
