Mocha: Modularity in model checking

R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, S. Tasiran, in:, Springer, 1998, pp. 521–525.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published
Author
; ; ; ; ;
Series Title
LNCS
Publishing Year
Date Published
1998-01-01
Acknowledgement
This research was supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grant CCR-9504469, by the ARO MURI grant DAAH-04-96-1-0341, and by the SRC contract 97-DC-324.041.
Volume
1427
Page
521 - 525
Conference
CAV: Computer Aided Verification
IST-REx-ID

Cite this

Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. Mocha: Modularity in model checking. In: Vol 1427. Springer; 1998:521-525. doi:10.1007/BFb0028774
Alur, R., Henzinger, T. A., Mang, F., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). Mocha: Modularity in model checking (Vol. 1427, pp. 521–525). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/BFb0028774
Alur, Rajeev, Thomas A Henzinger, Freddy Mang, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “Mocha: Modularity in Model Checking,” 1427:521–25. Springer, 1998. https://doi.org/10.1007/BFb0028774.
R. Alur, T. A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, and S. Tasiran, “Mocha: Modularity in model checking,” presented at the CAV: Computer Aided Verification, 1998, vol. 1427, pp. 521–525.
Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. 1998. Mocha: Modularity in model checking. CAV: Computer Aided Verification, LNCS, vol. 1427. 521–525.
Alur, Rajeev, et al. Mocha: Modularity in Model Checking. Vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar