![]() This title, which rests upon approximately four decades of research work, covers a wide spectrum of aspects concerning the model checking domain. The handbook under review is a collaborative work of 76 leading researchers in the model checking field. Model checking is a logic-based approach that determines whether the abstract model of an entity conforms to a desired temporal specification. Type: Book (978-3-31)ĭue to the proliferation and pervasiveness of hardware and software entities in everyday life, ascertaining their trustworthiness is of paramount importance. Computing Reviews, the leading online review service for computing literature.Ĭlarke E., Henzinger T., Veith H., Bloem R., Springer International Publishing, New York, NY, 2018. 1210 pp.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |