Visual specifications for modular reasoning about asynchronous systems

DOI10.1007/3-540-36135-9_15MaRDI QIDQ4422081zbMATH OpenFDO

Authors Nina Amla, Kedar S. Namjoshi, Richard Trefler, E. Allen Emerson

Publication date 3 September 2003

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/2529/25290226.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1304377
• scientific article; zbMATH DE number 1286822
• Specification of asynchronous component systems with modal I/O-Petri nets
• RTDT: A front-end for efficient model checking of synchronous timing diagrams
• scientific article; zbMATH DE number 139824

Cited in

(1)

• Local symmetry and compositional verification

This page was built for publication: Visual specifications for modular reasoning about asynchronous systems

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