Talks about MoXIchecker
Conference and other Presentations
-
MoXIchecker: An Extensible Model Checker for MoXI.
Conference talk
at SPIN,
07.
May
2025.
Keyword(s):
SMT,
Btor2,
MoXIchecker
Presentation
BibTeX Entry
@conferencetalk{SPIN-MoXIchecker, author = {Po-Chun Chien}, title = {{MoXIchecker}: {An} Extensible Model Checker for {MoXI}}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-07_SPIN_MoXIchecker_An_Extensible_Model_Checker_for_MoXI_Po-Chun.pdf}, keyword = {SMT, Btor2, MoXIchecker}, day = {07}, field = {Computer Science}, month = {May}, venue = {SPIN}, } -
Extending the MoXI Eco System.
Conference talk
at OSSyM,
21.
July
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification,
MoXIchecker
Presentation
BibTeX Entry
@conferencetalk{OSSyM24-MoXIchecker, author = {Dirk Beyer}, title = {Extending the MoXI Eco System}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-07-23_OSSyM24_Extending_the_MoXI_Eco_System_Dirk.pdf}, keyword = {Software Model Checking, Cooperative Verification, MoXIchecker}, day = {21}, field = {Computer Science}, month = {July}, venue = {OSSyM}, }
Disclaimer:
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.