Verification of embedded reactive fiffo systems

DOI10.1007/3-540-45995-2_36MaRDI QIDQ3044342zbMATH OpenFDO

Authors Frédéric Herbreteau, Franck Cassez, Olivier Roux, Grégoire Sutre, Alain Finkel

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2286/22860400.htm

Mathematics Subject Classification ID

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

Recommendations

• Verifying programs with unreliable channels
• Undecidable verification problems for programs with unreliable channels
• On verifying fair lossy channel systems
• Multiparty half-duplex systems and synchronous communications
• Undecidable verification problems for programs with unreliable channels

Cited in

(1)

• Verification of Flat FIFO Systems

This page was built for publication: Verification of embedded reactive fiffo systems

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