Runtime Verification with Predictive Semantics.

Xian Zhang Martin Leucker Wei Dong

Published in: NASA Formal Methods (2012)

Keyphrases

model checking
formal semantics
logic programming
epistemic logic
data sets
website
logic programs
signature verification
formal verification
verification method
artificial intelligence
information systems
semantic information
graphical representation
false acceptance
method invocation