Consistency of formalized specifications in multilevel programming

DOI10.1007/BF01132782zbMath0939.68704MaRDI QIDQ1895013

V. P. Panfilenko

Publication date: 6 August 1995

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (2)

Glushkov algorithmic algebras and system modeling ⋮ Deadlock and fictitiousness problem in parallel program specifications

Uses Software

• Unnamed Item

Cites Work

• Initial Algebra Semantics and Continuous Algebras

This page was built for publication: Consistency of formalized specifications in multilevel programming