The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification

Publisher Website

29 August 2005

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 37-46
https://doi.org/10.1109/icse.2001.919079

Abstract

No abstract available

Keywords

This publication has 15 references indexed in Scilit:

CTL model checking based on forward state traversal
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Which pointer analysis should I use?
Published by Association for Computing Machinery (ACM) ,2000
A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel
Published by Association for Computing Machinery (ACM) ,1998
Improving efficiency of symbolic model checking for state-based system requirements
Published by Association for Computing Machinery (ACM) ,1998
Verification of communication protocols using data flow analysis
Published by Association for Computing Machinery (ACM) ,1996
Data flow analysis for verifying properties of concurrent programs
ACM SIGSOFT Software Engineering Notes, 1994
Symbolic Model Checking
Published by Springer Nature ,1993
Properties of data flow frameworks
Acta Informatica, 1990
Generalized best-first search strategies and the optimality of A*
Journal of the ACM, 1985
Debugging Ada Tasking Programs
IEEE Software, 1985