Runtime verification of hyperproperties for deterministic programs.
Srinivas PinisettyGerardo SchneiderDavid SandsPublished in: FormaliSE@ICSE (2018)
Keyphrases
- symbolic execution
- model checking
- hardware designs
- turing machine
- databases
- provably correct
- information systems
- answer sets
- face verification
- runtime environment
- functional verification
- database
- java bytecode
- database languages
- asynchronous circuits
- person identification
- automatic programming
- test generation
- intermediate level
- signature verification
- programming environment
- static analysis
- source code
- data mining
- neural network