A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification
2009
International Journal on Software Tools for Technology Transfer (STTT)
Reachability analysis asks whether a system can evolve from legitimate initial states to unsafe states. It is thus a fundamental tool in the validation of computational systems -be they software, hardware or a combination thereof. We recall a standard approach for reachability analysis, which captures the system in a transition system, forms another transition system as an over-approximation, and performs an incremental fixedpoint computation on that over-approximation to determine whether
doi:10.1007/s10009-009-0100-y
fatcat:nd3otr5t5zdnbjzynciuun7iy4