WUppaal: A web-service for the Uppaal model-checker.
Peter FoghThomas C. HaldBrian NielsenPublished in: CPS Data (2016)
Keyphrases
- model checker
- description language
- web services
- model checking
- formal verification
- formal methods
- temporal logic
- formal specification
- web service composition
- symbolic model checking
- specification language
- test suite
- ai planning
- service oriented
- business processes
- set theory
- software architecture
- data mining
- object oriented
- evolutionary algorithm
- business process
- general purpose
- binary decision diagrams