A survey of challenges for runtime verification from advanced application domains (beyond software).
César SánchezGerardo SchneiderWolfgang AhrendtEzio BartocciDomenico BianculliChristian ColomboYliès FalconeAdrian FrancalanzaSrdan KrsticJoão M. LourençoDejan NickovicGordon J. PaceJosé RufinoJulien SignolesDmitriy TraytelAlexander WeissPublished in: Formal Methods Syst. Des. (2019)
Keyphrases
- application domains
- computing paradigms
- application scenarios
- real life
- software development
- software systems
- web enabled
- formal methods
- software tools
- computer systems
- model checking
- case study
- verification method
- formal verification
- software design
- key issues
- lessons learned
- software architecture
- mobile devices
- real world
- hardware designs