Published September 22, 2022
| Version v1
Other
Open
Conditional History Virtual Machine (VMCAI 2023)
Description
Virtual machine for reproducing the results of "Synthesizing History and Prophecy Variables for Symbolic Model Checking".
Instructions for reproducing the results from the paper can be found in "~/artifact/ConditionalHistory/README.md".
Files
Files
(5.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:7e7366447a37fb7edebf1b387f7cf5e5
|
5.4 GB | Download |