Formal verification of timed systems using cones and foci

MaRDI QIDQ2851076zbMATH OpenFDO

Authors Jun Pang, Wan Fokkink

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051182

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The cones and foci proof technique for timed transition systems
• scientific article; zbMATH DE number 1956518
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
• Cones and foci: A mechanical framework for protocol verification
• Analysis of timed systems using time-abstracting bisimulations

Cited in

(4)

• The cones and foci proof technique for timed transition systems
• scientific article; zbMATH DE number 1956518 (Why is no real title available?)
• scientific article; zbMATH DE number 5175527 (Why is no real title available?)
• Cones and foci: A mechanical framework for protocol verification

This page was built for publication: Formal verification of timed systems using cones and foci

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