The Automatic Detection of Token Structures and Invariants Using SAT Checking

First Author: Antonino P

Attributed to: Reducing Cost of Software: A Scalable Model-Based Verification Framework funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-662-54580-5_15

Publication URI: http://dx.doi.org/10.1007/978-3-662-54580-5_15

Type: Book Chapter

Book Title: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II (2017)

Page Reference: 249-265

ISSN: 16113349 03029743