Analysing software failure using runtime verification and LTL.
Zahra YazdanparastPublished in: CoRR (2024)
Keyphrases
- model checking
- bounded model checking
- formal verification
- temporal logic
- linear time temporal logic
- root cause
- formal methods
- software tools
- software architecture
- software systems
- personal computer
- face verification
- software development
- verification method
- linear temporal logic
- real time
- test cases
- computer systems
- model checker
- concurrent systems
- web services
- data sets