The following pages link to Makai Mann (Q2044194):
Displaying 4 items.
- Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
- Smt-Switch: a solver-agnostic C++ API for SMT solving (Q2118327) (← links)
- Partial Order Reduction for Deep Bug Finding in Synchronous Hardware (Q5039518) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
