Modular specification and verification of XTP.
Peter HerrmannHeiko KrummPublished in: Telecommun. Syst. (1998)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- protocol specification
- model checking
- high level
- neural network
- case study
- formal specification
- specification language
- colored petri nets
- verification method
- provably correct
- highly modular
- concurrent systems
- modular structure
- reactive systems
- face verification
- highly flexible
- signature verification
- modular neural networks
- user defined
- data mining