Login / Signup
Monotonic Abstraction: on Efficient Verification of Parameterized Systems.
Parosh Aziz Abdulla
Giorgio Delzanno
Noomene Ben Henda
Ahmed Rezine
Published in:
Int. J. Found. Comput. Sci. (2009)
Keyphrases
</>
data sets
databases
expert systems
management system
knowledge based systems
complex systems
machine learning
social networks
decision making
learning environment
computer systems
building blocks
cost effective
embedded systems