Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP.
Simon FosterJames BaxterAna CavalcantiJim WoodcockFrank ZeydaPublished in: CoRR (2019)
Keyphrases
- automated verification
- model checking
- software tools
- natural language
- automated reasoning
- semantic technologies
- semantic information
- formal verification
- artificial intelligence
- semantic network
- decision support
- theorem prover
- semantic similarity
- semantic search
- end users
- high level
- semantic annotation
- low level
- expert systems
- using semantic web technologies