On Deductive Verification of an Industrial Concurrent Software Component with VerCors.
Raúl E. MontiRobert RubbensMarieke HuismanPublished in: ISoLA (1) (2022)
Keyphrases
- software components
- software systems
- software development
- building blocks
- software reuse
- industrial applications
- model checking
- web services
- abductive inference
- commercial off the shelf
- signature verification
- explanation based learning
- formal verification
- design rationale
- software modules
- reusable components
- artificial intelligence
- source code
- formal methods
- object oriented
- multi agent
- software application
- verification method
- concurrent systems
- database systems