Modular Regression Verification for Reactive Systems.
Alexander WeiglMattias UlbrichDaniel LentzschPublished in: ISoLA (2) (2020)
Keyphrases
- reactive systems
- model checking
- formal methods
- temporal logic
- regression model
- concurrent systems
- information flow
- petri net
- linear regression
- regression problems
- control flow
- formal specification
- regression analysis
- database
- support vector regression
- database systems
- support vector
- regression algorithm
- natural language
- error rate
- knowledge based systems
- case study
- knowledge management
- real time
- state machines
- user interface