Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution).
Henrich LaukoVladimír StillPetr RockaiJiri BarnatPublished in: TACAS (3) (2019)
Keyphrases
- model checking
- verification method
- neural network
- high level
- formal methods
- asynchronous circuits
- symbolic representation
- statistical machine translation
- signature verification
- connectionist learning
- database
- neural learning
- symbolic data
- face verification
- multi agent
- search engine
- learning algorithm
- databases
- real time