New Aspects in High-Level Specification, Verification, and Design of IT Protocols.
Heinz-Dieter HümmerWalter GeisselhardtPublished in: SBCCI (2001)
Keyphrases
- high level
- formal verification
- low level
- high level abstraction
- formal methods
- design choices
- knowledge level
- tool suite
- computer aided
- conceptual model
- design space
- design methodology
- protocol specification
- design requirements
- asynchronous circuits
- data sets
- software architecture
- model checking
- higher level
- programming language
- expert systems
- artificial intelligence