Parameterized Verification of Infinite-State Processes with Global Conditions.

Parosh Aziz Abdulla Giorgio Delzanno Ahmed Rezine

Published in: CAV (2007)

Keyphrases

sufficient conditions
database
experimental conditions
digital libraries
information retrieval
computer vision
feature vectors
model checking
global information
multidatabase systems
formal verification
concurrent systems