Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.