5 citations · 8 across the 12 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.FL2021
Automating System Configuration
Nestan Tsiskaridze, Maxwell Strange, Makai Mann +4
The increasing complexity of modern configurable systems makes it critical to improve the level of automation in the process of system configuration. Such automation can also impro…
cs.LO2021
lazybvtoint at the SMT Competition 2020
Yoni Zohar, Ahmed Irfan, Makai Mann +3
lazybvtoint is a new prototype SMT-solver, that will participate in the incremental and non-incremental tracks of the \qfbv logic.
cs.LO2021★ 5 cited
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
Makai Mann, Ahmed Irfan, Alberto Griggio +2
We develop a framework for model checking infinite-state systems by automatically augmenting them with auxiliary variables, enabling quantifier-free induction proofs for systems th…