Verification and synthesis of counters based on symbolic techniques.
Gianpiero CabodiPaolo CamuratiLuciano LavagnoStefano QuerPublished in: ED&TC (1997)
Keyphrases
- model checking
- program synthesis
- neural network
- connectionist models
- texture synthesis
- formal verification
- functional verification
- symbolic description
- databases
- symbolic representation
- high level
- formal analysis
- face verification
- artificial neural networks
- verification method
- concurrent systems
- functional programs
- connectionist learning
- associative learning
- data mining
- protocol specification