Rigorous System Design

  • Joseph Sifakis
  • Published 2013 in
    Foundations and Trends in Electronic Design…


We advocate rigorous system design as a coherent and accountable model-based process leading from requirements to implementations. We present the state of the art in system design, discuss its current limitations, and identify possible avenues for overcoming them. A rigorous system design flow [3] is defined as a formal accountable and iterative process… (More)
DOI: 10.1145/2611462.2611517
View Slides


11 Figures and Tables


Citations per Year

Citation Velocity: 13

Averaging 13 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@inproceedings{Sifakis2013RigorousSD, title={Rigorous System Design}, author={Joseph Sifakis}, booktitle={Foundations and Trends in Electronic Design Automation}, year={2013} }