@article{teodorov:hal-01373287, TITLE = {{Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis}}, AUTHOR = {Teodorov, Ciprian and Roux, Luka Le and Drey, Zo{\'e} and Dhaussy, Philippe}, URL = {https://hal.science/hal-01373287}, JOURNAL = {{Journal of Software Testing, Verification and Reliability}}, PUBLISHER = {{Wiley}}, YEAR = {2016}, MONTH = Aug, DOI = {10.1002/stvr.1611}, KEYWORDS = {reachability analysis ; formal verification ; context-aware verification ; directed-acyclic graph ; semi-external algorithms}, HAL_ID = {hal-01373287}, HAL_VERSION = {v1}, }