Login / Signup

Handling Global Conditions in Parameterized System Verification.

Parosh Aziz AbdullaAhmed BouajjaniBengt JonssonMarcus 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