Feedback

X
#1

keyword: model checker – 4 free books.

doab These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.

  • View As:
  • view list
  • view icon

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Alexandra Silva and K. Rustan M. Leino, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Dirk Beyer and Marieke Huisman, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Dirk Beyer and Marieke Huisman, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer and Marieke Huisman

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer and Marieke Huisman
No Faves
Read it Now

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler and Georg Weissenbacher, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Hana Chockler and Georg Weissenbacher, editors
Faved by 1
Read it Now