Login / Signup

Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis.

K. Vasanta LakshmiAravind AcharyaRaghavan Komondoor
Published in: FM (2014)
Keyphrases
  • reachability analysis
  • complex systems
  • expert systems
  • objective function
  • distributed systems
  • computer systems
  • software systems
  • real time
  • neural network
  • artificial intelligence
  • intelligent systems
  • model checking