Handling Global Conditions in Parameterized System Verification.

Parosh Aziz Abdulla Ahmed Bouajjani Bengt Jonsson Marcus Nilsson

Published in: CAV (1999)

Keyphrases

sufficient conditions
data sets
artificial intelligence
search engine
web services
expert systems
global information
environmental conditions
formal methods
cryptographic protocols