Constraint-based platform variants specification for early system verification.
Andreas BurgerAlexander ViehlAndreas BraunFinn HaedickeDaniel GroßeOliver BringmannWolfgang RosenstielPublished in: ASP-DAC (2014)
Keyphrases
- formal verification
- formal methods
- asynchronous circuits
- model checking
- protocol specification
- real time
- high level
- formal specification
- neural network
- software engineering
- colored petri nets
- user defined
- artificial intelligence
- specification language
- signature verification
- data mining
- provably correct
- verification method
- concurrent systems
- databases