Supplementary Materials:

Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions

Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, and Edmund M. Clarke

Appendix: [pdf]

dReach tool: [website] [github]

dReach model files: all-in-one [download]

Run 1: [download]
Run 2: [download]
Run 3: [download]
Run 4: [download]
Run 5: [download]
Run 6: [download]
Run 7: [download]
Run 8: [download]
Run 9: [download]
Run 10: [download]
Run 11: [download]

Last updated on 03 July 2014