Login / Signup

A Formal Verification Strategy for Crash Recovery in Web-Database Applications.

Muhammad YounasBarry Eaglestone
Published in: WISE Workshops (2002)
Keyphrases
  • formal verification
  • model checking
  • bounded model checking
  • model checker
  • symbolic model checking
  • automated verification
  • databases
  • artificial intelligence
  • temporal logic
  • formal methods