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

Parosh Aziz Abdulla Aletta 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