Pages that link to "Item:Q466416"
From MaRDI portal
The following pages link to Program verification: state of the art, problems, and results. I (Q466416):
Displaying 11 items.
- Program verification: state of the art, problems, and results. II (Q466002) (← links)
- Verification of software requirements on program systems represented by attribute transition systems (Q557426) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- A survey of verification techniques for parallel programs (Q1059388) (← links)
- Problem-oriented program verification (Q1082069) (← links)
- Automatic verification of sequential infinite-state processes (Q1377904) (← links)
- System-level state equality detection for the formal dynamic verification of legacy distributed applications (Q2413022) (← links)
- Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs (Q2802435) (← links)
- Problem-oriented program verification system ?SPEKTR? (Q3802589) (← links)
- Program analysis is harder than verification: a computability perspective (Q6039396) (← links)
- Verified Textbook Algorithms (Q6485853) (← links)