A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems.
Franco RaimondiAlessio LomuscioPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- formal methods
- formal verification
- management system
- complex systems
- asynchronous circuits
- genetic algorithm
- case study
- real time
- computer systems
- distributed systems
- high level
- multimedia
- concurrent systems
- database
- exception handling
- formal language
- desirable characteristics
- formal specification
- desirable properties
- learning systems
- building blocks
- software engineering
- expert systems