Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Max Breitling; Jan Philipps 
Titel:
Black Box Views of State Machines 
Abstract:
System specification by state machines together with property specification and verification by temporal logics are by now standard techniques to reason about the control flow of hardware components, embedded systems and communication protocols. The techniques to reason about the dataflow within a system, however, are less well developed. This report adapts a UNITY-like formalism for specification and verification to systems of asynchronously communicating components. The components themselves a...    »
 
Stichworte:
state machines; communication histories; verification; compositionality 
Jahr:
1999 
Jahr / Monat:
1999-10-01 00:00:00 
Seiten/Umfang:
71