Flexible Monitor Deployment for Runtime Verification of Large Scale Software.
Teng ZhangGregory EakmanInsup LeeOleg SokolskyPublished in: ISoLA (4) (2018)
Keyphrases
- software systems
- real world
- software development
- small scale
- source code
- formal methods
- lightweight
- dynamic reconfiguration
- formal verification
- software maintenance
- test cases
- asynchronous circuits
- computer systems
- data sets
- real life
- software design
- face verification
- real time
- hardware design
- web scale
- analysis tool
- software package
- databases
- reverse engineering
- software tools
- model checking
- monitoring system