Login / Signup

Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model.

Rajnish GhughalAbdelillah MokkedemRatan NalumasuGanesh Gopalakrishnan
Published in: SPAA (1998)
Keyphrases
  • model checking
  • verification method
  • reactive systems
  • temporal properties
  • software engineering
  • formal verification
  • model checker
  • state space
  • knowledge based systems
  • temporal logic
  • finite state