Formal Verification of Stateful Services with REST APIs Using Event-B.
Irum RaufInna VistbakkaElena TroubitsynaPublished in: ICWS (2018)
Keyphrases
- formal verification
- model checking
- model checker
- bounded model checking
- web services
- service oriented
- automated verification
- symbolic model checking
- event driven
- event detection
- ubiquitous computing
- open source
- location aware
- service discovery
- service composition
- service providers
- context aware
- lightweight
- program slicing
- heuristic search
- publish subscribe
- service oriented architecture
- temporal logic
- application developers
- domain independent
- commercial systems
- knowledge based systems
- source code