Login / Signup

Using CTL formulae as component abstraction in a design and verification flow.

Cécile BraunsteinEmmanuelle Encrenaz
Published in: ACSD (2007)
Keyphrases
  • model checking
  • bounded model checking
  • formal verification
  • high level
  • design tools
  • user interface
  • design principles
  • engineering design
  • real time
  • knowledge based systems
  • temporal logic
  • design decisions