Login / Signup

Approximated parameterized verification of infinite-state processes with global conditions.

Parosh Aziz AbdullaGiorgio DelzannoAhmed Rezine
Published in: Formal Methods Syst. Des. (2009)
Keyphrases
  • sufficient conditions
  • linear combination
  • information retrieval
  • social networks
  • environmental conditions
  • databases
  • three dimensional
  • business process
  • model checking
  • person identification