Towards Continuous and Data-driven Specification and Verification of Resilience Scenarios.
Sebastian FrankM. Alireza HakamianLion WagnerJóakim von KistowskiAndré van HoornPublished in: ISSRE Workshops (2022)
Keyphrases
- data driven
- formal verification
- asynchronous circuits
- formal methods
- hybrid automata
- model driven
- model checking
- high level
- real world
- protocol specification
- formal specification
- application scenarios
- specification language
- neural network
- piecewise linear
- user defined
- reinforcement learning
- multiscale
- continuous data
- web services
- website
- concurrent systems
- genetic algorithm