Pages that link to "Item:Q1386947"
From MaRDI portal
The following pages link to Problem-oriented knowledge bases and their application in the program verification system SPEKTR (Q1386947):
Displaying 5 items.
- Verification of knowledge bases based on containment checking (Q1274279) (← links)
- Problem-oriented verification system and its application to linear algebra programs (Q1311971) (← links)
- Verification of a finite iteration over data structures (Q1974308) (← links)
- Problem-oriented program verification system ?SPEKTR? (Q3802589) (← links)
- A note on knowledge-based programs and specifications (Q5137901) (← links)