All Logics and Meanings of Program Titles
Verification, Model Checking, and Abstract Interpretation
Kenneth McMillan, Xavier Rival
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013 ...
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
Specification, Algebra, and Software
Shusaku Iida, José Meseguer, Kazuhiro Ogata
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi ...
Software Engineering and Formal Methods
Steve Counsell, Manuel Núñez
This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in Sept ...