Budget-bounded model-checking pushdown systems.

Parosh Aziz Abdulla Mohamed Faouzi Atig Othmane Rezine Jari Stenman

Published in: Formal Methods Syst. Des. (2014)

Keyphrases

bounded model checking
distributed systems
management system
computer systems
neural network
formal verification
real time
building blocks
model checking
database
cooperative
intelligent systems
complex systems
linear temporal logic