Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS.
Ariane Alves AlmeidaCarlos H. LlanosJanier Arias-GarciaMauricio Ayala-RincónPublished in: SBCCI (2014)
Keyphrases
- formal verification
- model checking
- theorem proving
- formal methods
- databases
- recursive functions
- xml schema
- search algorithm
- concurrent systems
- verification method
- artificial intelligence
- signature verification
- real world
- asynchronous circuits
- timed automata
- high security
- provably correct
- data sets
- genetic algorithm
- face verification
- search engine
- decision trees
- hidden markov models
- relational databases