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

MaRDI QIDQ1386947zbMATH OpenFDO

Authors V. A. Nepomnyashchij, A. A. Sulimov

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

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

Recommendations

• Problem-oriented program verification system ?SPEKTR?
• Methods and algorithms for verification of knowledge bases in integrated expert systems
• Problem-oriented verification system and its application to linear algebra programs
• A note on knowledge-based programs and specifications

Cited in

(6)

• Verification of knowledge bases based on containment checking
• Problem-oriented verification system and its application to linear algebra programs
• Verification of a finite iteration over data structures
• Problem-oriented program verification system ?SPEKTR?
• scientific article; zbMATH DE number 2061976 (Why is no real title available?)
• A note on knowledge-based programs and specifications

Describes a project that uses

Uses Software

• SPEKTR

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1386947)