Author:
Cox Arlen,Chang Bor-Yuh Evan,Li Huisong,Rival Xavier
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: PLDI (2003)
2. Lecture Notes in Computer Science;A Bouajjani,2012
3. Lecture Notes in Computer Science;AR Bradley,2006
4. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. TOPLAS 8(2), 244–263 (1986)
5. Coudert, O., Madre, J.C.: A new method to compute prime and essential prime implicants of boolean functions. In: Advanced research in VLSI and Parallel Systems. MIT (1992)