Pages that link to "Item:Q1082069"
From MaRDI portal
The following pages link to Problem-oriented program verification (Q1082069):
Displaying 11 items.
- Elimination of loop invariants in program verification (Q1065537) (← links)
- Problem-oriented approach to verification of file-processing programs (Q1183788) (← links)
- Problem-oriented verification system and its application to linear algebra programs (Q1311971) (← links)
- A unified approach of program verification (Q2013885) (← links)
- Programmed strategies for program verification (Q2864527) (← links)
- (Q3216115) (← links)
- Problem-oriented program verification system ?SPEKTR? (Q3802589) (← links)
- (Q4003356) (← links)
- A compositional proof system for distributed programs (Q4560363) (← links)
- Program verification through characteristic formulae (Q5176951) (← links)
- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs (Q5452196) (← links)