UPEC-PN: Exhaustive constant time verification of low-level software using property checking.
Philipp SchmitzJohannes MuellerChristian BartschDominik StoffelWolfgang KunzPublished in: MBMV (2023)
Keyphrases
- low level
- high level
- higher level
- software development
- verification method
- software systems
- software architecture
- petri net
- software tools
- software package
- commercial software
- model checking
- software application
- consistency checking
- software projects
- lower level
- information systems
- source code
- software platform
- formal verification
- software design
- low level features
- genetic algorithm
- web services
- user interface
- object oriented