A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Model checking: recent improvements and applications
2018
International Journal on Software Tools for Technology Transfer (STTT)
Model checking (Baier and Katoen in Principles of model checking, MIT Press, Cambridge, 2008; Clarke et al. in Model checking, MIT Press, Cambridge, 2001) is an automatic technique to formally verify that a given specification of a concurrent system meets given functional properties. Its use has been demonstrated many times over the years. Key characteristics that make the method so appealing are its level of automaticity, its ability to determine the absence of errors in the system (contrary
doi:10.1007/s10009-018-0501-x
pmid:30956545
pmcid:PMC6417378
fatcat:52a2f2ej5veuvmpc2ftkamnaym