A formalism to describe cyclogram testing models and perform model verification

DOI10.1134/S0005117913100159MaRDI QIDQ462102zbMATH OpenFDO

Authors A. E. Verger, A. S. Pervanyuk

Publication date 15 October 2014

Published in Automation and Remote Control (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Recommendations

• Formal testing from timed finite state machines
• Automatic Verification of Sequential Circuits Using Temporal Logic
• Model checking at IBM
• scientific article; zbMATH DE number 910719
• Formal models for software development. Model checking, verification, analysis and simulation

This page was built for publication: A formalism to describe cyclogram testing models and perform model verification

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