Herbrand Automata for Hardware Verification.
Werner DammAmir PnueliSitvanit RuahPublished in: CONCUR (1998)
Keyphrases
- low cost
- hardware designs
- logic programs
- hardware and software
- model checking
- logic programming
- real time
- computer systems
- cellular automata
- verification method
- computing systems
- finite state machines
- finite automata
- first order logic
- probabilistic automata
- regular expressions
- hardware design
- database
- function symbols
- high end
- computing power
- massively parallel
- data acquisition
- formal verification
- horn clauses
- single chip
- statistical relational learning
- hardware architecture
- digital circuits
- tree automata
- face verification
- hardware software
- artificial intelligence
- parallel hardware