Integrating formal specifications into applications: the ProB Java API.
Philipp KörnerJens BendispostoJannik DunkelauSebastian KringsMichael LeuschelPublished in: Formal Methods Syst. Des. (2021)
Keyphrases
- formal specification
- object oriented design
- source code
- open source
- model checking
- specification languages
- specification language
- cross platform
- reverse engineering
- concurrent systems
- portlet development
- process algebra
- application programming interface
- formal methods
- java programs
- software design
- object oriented
- protocol specification
- application server
- java virtual machine
- java language
- software components
- semantic data models
- multi agent systems