scientific article; zbMATH DE number 1324647

MaRDI QIDQ4255544zbMATH OpenFDO

Authors Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn

Publication date 18 August 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=21#21006

zbMATH Keywords

\(\mu\)CRL

Mathematics Subject Classification ID

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

Recommendations

• The Well-Connected Processor Array
• scientific article; zbMATH DE number 1532277
• scientific article; zbMATH DE number 2087769
• The vector multiprocessor
• The processor identity problem
• Multiprocessor interconnection networks

Cited in

(9)

• Case study: Formal verification of a computerized railway interlocking
• Stepwise development and model checking of a distributed interlocking system using RAISE
• Stepwise development and model checking of a distributed interlocking system -- using RAISE
• scientific article; zbMATH DE number 1629970 (Why is no real title available?)
• Systematic validation of a relational control program for the bay area rapid transit system
• Automated validation and verification of railway specific components and systems.
• Formal modeling and verification for MVB
• scientific article; zbMATH DE number 2033512 (Why is no real title available?)
• Specification and validation of a concurrent system: An educational project

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 Q4255544)