Correction to: 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
- application scenarios
- computing paradigms
- real life
- lessons learned
- web enabled
- software development
- software design
- error correction
- computer systems
- source code
- software systems
- model checking
- software developers
- real world
- advanced features
- signature verification
- formal methods
- user interface
- web intelligence
- key issues
- data sets
- software architecture
- test cases