From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.
Daniela RemenskaJeff TemplonTim A. C. WillemsePhilip HomburgKees VerstoepAdrian Casajus RamoHenri E. BalPublished in: NASA Formal Methods (2013)
Keyphrases
- software design
- process algebra
- concurrent systems
- model checking
- uml diagrams
- temporal logic
- software systems
- formal methods
- software development
- software engineering
- formal specification
- software artifacts
- transition systems
- formal verification
- finite state
- specification language
- verification method
- model checker
- distributed systems
- design patterns
- asynchronous circuits
- software architecture
- reverse engineering
- software components
- source code
- case study
- modeling language
- belief revision
- petri net