Rewriting-Based Runtime Verification for Alternation-Free HyperLTL.
Noel BrettUmair SiddiqueBorzoo BonakdarpourPublished in: TACAS (2) (2017)
Keyphrases
- model checking
- real time
- rewriting rules
- high security
- rewrite rules
- formal verification
- integrity constraints
- conjunctive queries
- queries using views
- real world
- database
- asynchronous circuits
- query rewriting
- data sets
- special case
- user interface
- multi agent
- database systems
- information systems
- artificial intelligence