Proof Generation from Delta-Decisions

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2014.29 ◽

2014 ◽

Cited By ~ 5

Author(s):

Sicun Gao ◽

Soonho Kong ◽

Edmund M. Clarke

Download Full-text