Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

Date

March, 2021

Authors

• Makai Mann
• Ahmed Irfan
• Alberto Griggio
• Oded Padon
• Clark W. Barrett

Related projects

• Verified Systems Software

Type

Inproceedings

Booktitle

Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021