Problem-oriented knowledge bases and their application in the program verification system SPEKTR

zbMath0897.68066MaRDI QIDQ1386947

A. A. Sulimov, V. A. Nepomnyashchij

Publication date: 3 August 1998

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

zbMATH Keywords

knowledge baseverification system SPEKTR

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Verification of a finite iteration over data structures

Uses Software

• Unnamed Item

This page was built for publication: Problem-oriented knowledge bases and their application in the program verification system SPEKTR