Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Max Breitling; Jan Philipps 
Titel:
Verification Diagrams for Dataflow Properties 
Abstract:
State-based specification and verification techniques can be used to derive properties of the data flow I/O relation of distributed systems. Safety properties of the I/O relation are typically expressed as a prefix relation on streams; they can be derived from state machine invariants. Liveness properties are typically formulated as a lower bound for the length of output streams; they can be derived from response or leadsto properties of state machines. While the proof principles for invarianc...    »
 
Stichworte:
Verification; Proof Diagrams; theorem prover; state machines; distributed systems; Isabelle 
Jahr:
2000 
Jahr / Monat:
2000-03-01 00:00:00 
Seiten/Umfang:
59