Formal Techniques for Networked and Distributed Systems - FORTE 2003

DOI10.1007/11965zbMath1279.68196OpenAlexW2501695616MaRDI QIDQ5900954

Andreas Noack, Dirk Beyer

Publication date: 26 May 2010

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

Full work available at URL: https://doi.org/10.1007/11965

Mathematics Subject Classification ID

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

Related Items (3)

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces ⋮ A menagerie of timed automata ⋮ Improvements for the Symbolic Verification of Timed Automata

Uses Software

• Kronos
• Rabbit
• Uppaal

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2003