Model checking: recent improvements and applications

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 bee...

Descripción completa

Detalles Bibliográficos
Autores principales: Bošnački, Dragan, Wijs, Anton
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Berlin Heidelberg 2018
Materias:
Introduction
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6417378/
https://www.ncbi.nlm.nih.gov/pubmed/30956545
http://dx.doi.org/10.1007/s10009-018-0501-x

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6417378/
https://www.ncbi.nlm.nih.gov/pubmed/30956545
http://dx.doi.org/10.1007/s10009-018-0501-x

Ejemplares similares