Building a new CTL model checker using Web services.
Florin StoicaLaura Florentina StoicaPublished in: SoftCOM (2013)
Keyphrases
- model checking
- model checker
- temporal logic
- web services
- description language
- symbolic model checking
- formal verification
- epistemic logic
- transition systems
- formal specification
- formal methods
- concurrent systems
- business processes
- modal logic
- image analysis
- web service composition
- software components
- planning domains
- service composition
- artificial intelligence
- service oriented
- binary images
- gray scale
- computational intelligence
- image processing