HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Kenneth L. McMillan

Publications
LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors)
EPiC Series in Computing, volume 26
Program Verification as Satisfiability Modulo Theories
Nikolaj Bjorner, Kenneth McMillan and Andrey Rybalchenko
In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories

Keyphrases

program verification, SMT, symbolic model checking.

Copyright © 2012-2025 easychair.org. All rights reserved.