Requirements Validation for Hybrid Systems

@inproceedings{Cimatti2009RequirementsVF,
  title={Requirements Validation for Hybrid Systems},
  author={Alessandro Cimatti and Marco Roveri and Stefano Tonetta},
  booktitle={CAV},
  year={2009}
}
The importance of requirements for the whole development flow calls for strong validation techniques based on formal methods. In the case of discrete systems, some approaches based on temporal logic satisfiability are gaining increasing momentum. However, in many real-world domains (e.g. railways signaling), the requirements constrain the temporal evolution of both discrete and continuous variables. These hybrid domains pose substantial problems: on one side, a continuous domain requires very… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 29 extracted citations

Similar Papers

Loading similar papers…