Semiformal Verification of Software-Controlled Connections.
Tomás GrimmDjones LettninMichael HübnerPublished in: ISVLSI (2017)
Keyphrases
- computer systems
- software systems
- software tools
- hardware designs
- software development
- software platform
- software evolution
- source code
- model checking
- formal methods
- software package
- face verification
- software maintenance
- real time
- commercial software
- safety critical
- functional verification
- development process
- static analysis
- software engineering
- user interface
- high level
- website
- artificial intelligence
- neural network