The HOL-UNITY Verification System.
Flemming AndersenUlla BinauKarsten NybladKim Dam PetersenJimmi S. PetterssonPublished in: TAPSOFT (1995)
Keyphrases
- formal methods
- model checking
- model checker
- theorem prover
- formal analysis
- artificial intelligence
- concurrent systems
- formal verification
- information systems
- multiscale
- theorem proving
- artificial neural networks
- test generation
- distributed systems
- database
- pairwise
- search algorithm
- case study
- computer vision
- information retrieval
- machine learning
- neural network