Login / Signup

Constraint-Based Model Checking of Data-Independent Systems.

Beata Sarna-StarostaC. R. Ramakrishnan
Published in: ICFEM (2003)
Keyphrases
  • model checking
  • automated verification
  • temporal logic
  • knowledge based systems
  • formal methods
  • temporal properties