Design and Verification of Systems with Exogenous Coordination Using Vereofy.
Christel BaierTobias BlechmannJoachim KleinSascha KlüppelholzWolfgang LeisterPublished in: ISoLA (2) (2010)
Keyphrases
- formal methods
- design criteria
- design process
- building blocks
- design issues
- human computer interface
- cooperative
- high assurance
- knowledge based systems
- complex systems
- computer aided
- user interface
- design automation
- technical systems
- database
- engineering design
- asynchronous circuits
- design principles
- operating environment
- functional verification
- formal verification
- design decisions
- computer systems
- distributed systems
- multi agent systems
- multi agent
- real time