Problem-oriented program verification system ?SPEKTR?

DOI10.1007/BF01070237zbMath0655.68019OpenAlexW2075236461MaRDI QIDQ3802589

V. A. Nepomnyashchij, A. A. Sulimov, S. G. Vorob'ev

Publication date: 1987

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01070237

zbMATH Keywords

theorem provingprogram verificationHoare's calculus

Mathematics Subject Classification ID

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

Related Items (1)

SPEKTR

Cites Work

• On the SUP-INF Method for Proving Presburger Formulas
• A Practical Decision Procedure for Arithmetic with Function Symbols

This page was built for publication: Problem-oriented program verification system ?SPEKTR?