HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:symbolic model checking

Publications
Verifying UML-RT Model of a Conveyor Belt System with nuXmv Model Checker
Duy Hieu Vo, Minh Gia Huy Cao, Nhat Nam Pham, Tong Ngoc Dang, Sneha Sahu and Ruth Schorr
EasyChair Preprint 4943
Program Verification as Satisfiability Modulo Theories
Nikolaj Bjorner, Kenneth McMillan and Andrey Rybalchenko
In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Copyright © 2012-2025 easychair.org. All rights reserved.