Towards Verification of Constituent Systems through Automated Proof.
Luís Diogo CoutoSimon FosterRichard John PaynePublished in: CoRR (2014)
Keyphrases
- complex systems
- asynchronous circuits
- semi automated
- knowledge based systems
- database
- formal proof
- expert systems
- retrieval systems
- distributed systems
- automated theorem provers
- computer algebra
- formal methods
- building blocks
- management system
- database systems
- computer vision
- artificial intelligence
- genetic algorithm
- machine learning
- data sets