Unifying semantic foundations for automated verification tools in Isabelle/UTP.
Simon FosterJames BaxterAna CavalcantiJim WoodcockFrank ZeydaPublished in: Sci. Comput. Program. (2020)
Keyphrases
- automated verification
- model checking
- automated reasoning
- semantic technologies
- artificial intelligence
- natural language
- software tools
- theorem prover
- user friendly
- end users
- domain specific
- formal verification
- high level
- semantic knowledge
- semantic analysis
- probabilistic reasoning
- semantic search
- semantic web technologies
- semantic network
- semantic information
- decision support
- using semantic web technologies
- knowledge representation
- semantic web standards