Sign in

Better is Better than Well: On Efficient Verification of Infinite-State Systems.

Parosh Aziz AbdullaAletta Nylén
Published in: LICS (2000)
Keyphrases
  • expert systems
  • management system
  • formal methods
  • real time
  • neural network
  • real world
  • artificial intelligence
  • computer systems
  • building blocks
  • learning systems
  • complex systems
  • systems require