Code-level model checking in the software development workflow at Amazon Web Services.
Nathan ChongByron CookJonathan EidelmanKonstantinos KallasKareem KhazemFelipe R. MonteiroDaniel Schwartz-NarbonneSerdar TasiranMichael TautschnigMark R. TuttlePublished in: Softw. Pract. Exp. (2021)
Keyphrases
- model checking
- web services
- software development
- temporal logic
- automated verification
- formal verification
- formal specification
- temporal properties
- model checker
- finite state
- business processes
- reachability analysis
- transition systems
- verification method
- workflow engine
- control flow
- computation tree logic
- partial order reduction
- business process
- symbolic model checking
- formal methods
- epistemic logic
- software testing
- service oriented
- software components
- pspace complete
- software engineering
- data flow
- software architecture
- process algebra
- timed automata
- linear temporal logic
- asynchronous circuits
- artifact centric
- bounded model checking
- workflow management systems
- concurrent systems
- development process
- service oriented architecture
- web service composition
- modal logic
- planning domains
- reactive systems