Formal Techniques for Networked and Distributed Systems – FORTE 2004

DOI10.1007/B100576zbMath1110.68314OpenAlexW2244752996MaRDI QIDQ5464484

Alexandre Petrenko, May Haydar, Houari A. Sahraoui

Publication date: 18 August 2005

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

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

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

ASM-based formal design of an adaptivity component for a cloud system ⋮ Lower bounds on lengths of checking sequences ⋮ Hardness and inapproximability of minimizing adaptive distinguishing sequences ⋮ The relation between preset distinguishing sequences and synchronizing sequences

Uses Software

• SPIN
• Bandera

This page was built for publication: Formal Techniques for Networked and Distributed Systems – FORTE 2004