scientific article; zbMATH DE number 1069492

zbMATH Open0880.68089MaRDI QIDQ4356445FDOQ4356445

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

Publication date: 1 October 1997

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

real time systemsSPIN model

Mathematics Subject Classification ID

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

Cited In (4)

• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)