Modeling, specification, and verification of automaton programs

DOI10.1007/s11086-008-1004-4zbMath1185.68255OpenAlexW4255266726WikidataQ57758838 ScholiaQ57758838MaRDI QIDQ839994

V. A. Sokolov, E. V. Kuzmin

Publication date: 4 September 2009

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11086-008-1004-4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (1)

Application of the trace assertion method to the specification, design, and verification of automaton programs

This page was built for publication: Modeling, specification, and verification of automaton programs