Login / Signup

On model checking data-independent systems with arrays without reset.

Ranko LazicThomas Christopher NewcombA. W. Roscoe
Published in: Theory Pract. Log. Program. (2004)
Keyphrases
  • model checking
  • temporal logic
  • automated verification
  • expert systems
  • decision problems