|
|||||
|
|
An Iterative Framework for Simulation Conformance |
|
| Authors: | Chaki Sagar; Clarke Edmund; Jha Somesh; Veith Helmut |
| Affiliation: | 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA - 15213, USA. Email: chaki{at}cs.cmu.edu, emc{at}cs.cmu.edu, 2 University of Wisconsin, Computer Sciences Department University of Wisconsin Madison, WI 53706, USA. Email: jha{at}cs.wisc.edu, 3 Institut für Informatik (17) Technische Universität München Boltzmannstraße 3 D-85748 Garching bei München, Germany. Email: veith{at}in.tum.edu |
| Abstract: | |
| Keywords: | Software verification C programs concurrency simulation abstraction refinement |
| 本文献已被 Oxford 等数据库收录！ | |