Login / Signup

Abstract Domains for Property Checking Driven Analysis of Temporal Properties.

Damien Massé
Published in: AMAST (2004)
Keyphrases
  • temporal properties
  • data analysis
  • statistical analysis
  • model checking
  • data mining
  • artificial intelligence