scientific article; zbMATH DE number 1069492

MaRDI QIDQ4356445zbMATH OpenFDO

Authors Javier Tuya, José R. de Diego, Claudio de la Riva, J. A. Corrales

Publication date 1 October 1997

zbMATH Keywords

real time systemsSPIN model

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• scientific article; zbMATH DE number 1629963
• scientific article; zbMATH DE number 1630131
• scientific article; zbMATH DE number 1670554
• Experiments on a fault tolerant distributed system

Cited in

(4)

• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
• scientific article; zbMATH DE number 1630131 (Why is no real title available?)
• scientific article; zbMATH DE number 1670554 (Why is no real title available?)
• scientific article; zbMATH DE number 2087630 (Why is no real title available?)

This page was built for publication:

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