Improving Reachability Analysis of Infinite State Systems by Specialization

@article{Fioravanti2012ImprovingRA,
  title={Improving Reachability Analysis of Infinite State Systems by Specialization},
  author={Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni},
  journal={Fundam. Inform.},
  year={2012},
  volume={119},
  pages={281-300}
}
We consider infinite state reactive systems specified by using linear constraints over the integers, and we address the problem of verifying safety properties of these systems by applying reachability analysis techniques. We propose a method based on program specialization, which improves the effectiveness of the backward and forward reachability analyses. For backward reachability our method consists in: (i) specializing the reactive system with respect to the initial states, and then (ii… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

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

Reachability Problems

Lecture Notes in Computer Science • 2016
View 4 Excerpts
Highly Influenced

A unified view of parameterized verification of abstract models of broadcast communication

International Journal on Software Tools for Technology Transfer • 2016
View 2 Excerpts

References

Publications referenced by this paper.
Showing 1-10 of 39 references

FAST: acceleration from theory to practice

International Journal on Software Tools for Technology Transfer • 2008
View 4 Excerpts
Highly Influenced

Constraint-based deductive model checking

International Journal on Software Tools for Technology Transfer • 2001
View 5 Excerpts
Highly Influenced

Constraint Logic Programming: A Survey

J. Log. Program. • 1994
View 2 Excerpts
Highly Influenced

Control-flow analysis of functional programs

ACM Comput. Surv. • 2012
View 1 Excerpt

Improving reachability analysis of infinite state systems by specialization

F. Fioravanti, A. Pettorossi, M. Proietti, V. Senni
G. Delzanno and I. Potapov, editors, Proceedings of the 5th International Workshop on Reachability Problems, RP 2011, September 28-30, 2011, Genova, Italy, Lecture Notes in Computer Science 6945, pages 165–179. Springer • 2011
View 1 Excerpt

Similar Papers

Loading similar papers…