Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns.
Sebastian FrankM. Alireza HakamianDenis ZaharievAndré van HoornPublished in: ICPE (Companion) (2023)
Keyphrases
- behavior patterns
- metric temporal logic
- formal specification
- specification language
- reactive systems
- model checking
- pattern mining
- pattern discovery
- behavioral patterns
- high level
- computer science
- control flow
- software engineering
- steady state
- engineering design
- communication patterns
- transition systems
- artificial intelligence
- engineering students
- human behavior
- temporal logic
- neural network
- formal verification
- computer aided design
- temporal patterns
- engineering problems
- design patterns
- code generation
- design requirements
- case study
- requirements specification
- protocol specification