Login / Signup

Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems.

Bertrand Jeannet
Published in: Formal Methods Syst. Des. (2003)
Keyphrases
  • reactive systems
  • data analysis
  • formal analysis
  • databases
  • relational databases
  • statistical analysis
  • model checking
  • reverse engineering
  • static analysis