Pages that link to "Item:Q5900551"
From MaRDI portal
The following pages link to Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900551):
Displaying 14 items.
- Program verification: state of the art, problems, and results. II (Q466002) (← links)
- Program verification: state of the art, problems, and results. I (Q466416) (← links)
- The sh-verification tool -- abstraction-based verification of co-operating systems (Q1295873) (← links)
- Control and data abstraction: The cornerstones of practical formal verification (Q1856157) (← links)
- Deductive software verification: from pen-and-paper proofs to industrial tools (Q2075776) (← links)
- Program security verification based on abstract invariants (Q2987193) (← links)
- Verification of concrete programs with respect to abstract programs (Q3132070) (← links)
- Mining specifications (Q5178894) (← links)
- Verification: Theory and Practice (Q5305639) (← links)
- Verification: Theory and Practice (Q5305644) (← links)
- Automated Technology for Verification and Analysis (Q5394168) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464711) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711487) (← links)
- Computer Aided Verification (Q5716599) (← links)