A formalism to describe cyclogram testing models and perform model verification

DOI10.1134/S0005117913100159zbMATH Open1303.68086MaRDI QIDQ462102FDOQ462102

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

Publication date: 15 October 2014

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

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

Mathematics Subject Classification ID

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

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)