Mocha: Modularity in model checking
Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. 1998. Mocha: Modularity in model checking. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 521–525.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Scopus indexed
Author
Alur, Rajeev;
Henzinger, Thomas AISTA 
;
Mang, Freddy;
Qadeer, Shaz;
Rajamani, Sriram;
Tasiran, Serdar
;
Mang, Freddy;
Qadeer, Shaz;
Rajamani, Sriram;
Tasiran, SerdarSeries Title
LNCS
Publishing Year
Date Published
1998-01-01
Proceedings Title
Proceedings of the 10th International Conference on Computer Aided Verification
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
Conference Location
Vancouver, Canada
Conference Date
1998-06-28 – 1998-07-02
ISBN
IST-REx-ID
Cite this
Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. Mocha: Modularity in model checking. In: Proceedings of the 10th International Conference on Computer Aided Verification. 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. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 521–525). Vancouver, Canada: 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.” In Proceedings of the 10th International Conference on Computer Aided Verification, 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,” in Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, Canada, 1998, vol. 1427, pp. 521–525.
Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. 1998. Mocha: Modularity in model checking. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 521–525.
Alur, Rajeev, et al. “Mocha: Modularity in Model Checking.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.
Google Scholar
ISBN Search