Random model sampling: Making craig interpolation work when it should not-Reference-Cited by-同舟云学术

Random model sampling: Making craig interpolation work when it should not

Published:2015-12 Issue:7 Volume:49 Page:413-419
ISSN:0146-4116
Container-title:Automatic Control and Computer Sciences
language:en
Short-container-title:Aut. Control Comp. Sci.

Author:

Akhin Marat,Kolton Sam,Itsykson Vladimir

Publisher

Allerton Press

Subject

Signal Processing,Control and Systems Engineering,Software

Link

http://link.springer.com/content/pdf/10.3103/S0146411615070020.pdf

Reference13 articles.

1. Akhin, M., Belyaev, M., and Itsykson, V., Yet another defect detection: Combining bounded model checking and code contracts, PSSV’13, 2013, p. 1–11.

2. Biere, A., Cimatti, A., Clarke, E.M., and Zhu Yunshan, Symbolic model checking without BDDs, TACAS’99, 1999, p. 193–207.

3. Christ, J., Hoenicke, J., and Nutz, A., SMTInterpol: An interpolating SMT solver, SPIN’12, 2012, pp. 248–254.

4. Cimatti, A., Griggio, A., Schaafsma, B.J., and Sebastiani, R., The MathSAT5 SMT solver, TACAS’13, 2013, p. 93–107.

5. Clarke, C., Grumberg, O., Jha, S., Lu., Yu., and Veith, H., Counterexample-guided abstraction refinement for symbolic model checking, J. ACM, 2003, no. 50(5), pp. 752–794.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Digital Technologies in Strategic Problems and Operational Tasks for Import Substitution of Oil and Gas Facilities;International Journal of Mathematical, Engineering and Management Sciences;2019-10-01

2. Use of the logical-statistical model as a procedure for assessing occupational risks in the OSH management;IOP Conference Series: Materials Science and Engineering;2019-10-01

3. Algorithm for assessing the quality of service in special-purpose networks during operation;IOP Conference Series: Materials Science and Engineering;2019-10-01

4. Comparison of Approximation Methods for the Estimation of Distributions in the Analysis of the G/G/1 Queue;International Journal of Mathematical, Engineering and Management Sciences;2019-08-01

5. Borealis Bounded Model Checker: The Coming of Age Story;Present and Ulterior Software Engineering;2017