A SAT-Based Debugging Tool for State Machines and Sequence Diagrams
Abstract elided by the publisher.
Related papers
- Using modern mathematics as an FOSD modeling language GPCE 2008
- Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams CAV 1990
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- SYCO: a systematic testing tool for concurrent objects CC 2016
- SAT-Based Synthesis Methods for Safety Specs VMCAI 2014
- (Semantic) Feature Model Differences with (Q)SAT SLE 2025
- CaDiCaL 2.0 CAV 2024
- Guided Merging of Sequence Diagrams SLE 2012