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

  • Authors:

  • Cecile Braunstein;Emmanuelle Encrenaz

  • Affiliations:

  • Universite Paris 6, France;LSV & CNRS, France

  • Venue:
  • ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
  • Year:
  • 2007

Quantified Score

Hi-index 0.01

Visualization

Abstract

We survey research works on asynchronous systems synthesis, including PN synthesis and control synthesis.