User: Guest  Login
Document type:
Technical Report 
Author(s):
Max Breitling; Jan Philipps 
Title:
Transitions into Black Box Views - The NetBill Protocol revisited - 
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 and embedded systems. The techniques to reason about the dataflow within loosely coupled systems, however, are less well developed. In this contribution, we propose a formalism for the verification of systems with asynchronously communicating components. The components themselves are specified as sta...    »
 
Keywords:
Netbill 
Year:
2000 
Year / month:
2000-09-01 00:00:00 
Pages:
17