Login / Signup
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