Rigorous examination of reactive systems

This publication has 35 references indexed in Scilit:

• A brief account of runtime verification
  The Journal of Logic and Algebraic Programming, 2009
• The Self-Serv environment for Web services composition
  IEEE Internet Computing, 2003
• Linear Invariant Generation Using Non-linear Constraint Solving
  2003
• Software model checking: extracting verification models from source code†
  Software Testing, Verification and Reliability, 2001
• Dynamically discovering likely program invariants to support program evolution
  IEEE Transactions on Software Engineering, 2001
• Model Checking
  2001
• The architecture of an active database management system
  ACM SIGMOD Record, 1989
• Learning regular sets from queries and counterexamples
  Information and Computation, 1987
• Rule-based systems
  Communications of the ACM, 1985
• Symbolic execution and program testing
  Communications of the ACM, 1976