Information Technology Reference
In-Depth Information
17. The Mathworks: Simulink design verifier user's guide. version 1.5 (2009),
http://www.mathworks.com/access/helpdesk/help/toolbox/sldv/
18. Brillout, A., Kroening, D., Wahl, T.: Mixed abstractions for floating-point arith-
metic. In: Formal Methods in Computer-Aided Design (FMCAD), pp. 69-76. IEEE,
Los Alamitos (2009)
19. Kuehlmann, A., van Eijk, C.A.J.: Combinational and sequential equivalence check-
ing. In: Logic Synthesis and Verification. Kluwer International Series in Engineering
and Computer Science Series, pp. 343-372. Kluwer, Norwell (2002)
20. Graf, S., Saıdi, H.: Construction of abstract state graphs with PVS. In: Grumberg,
O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 72-83. Springer, Heidelberg (1997)
21. Kroening, D., Clarke, E.: Checking consistency of C and Verilog using predicate
abstraction and induction. In: IEEE/ACM International Conference on Computer-
Aided Design, pp. 66-72. IEEE, Los Alamitos (2004)
22. Victor, A.C.: Interpretation of IEEE-854 floating-point standard and definition in
the HOL system. Technical report, NASA Langley (1995)
23. Harrison, J.: Formal verification of square root algorithms. Formal Methods in
System Design (FMSD) 22, 143-153 (2003)
24. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A.,
Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In:
Programming Language Design and Implementation (PLDI), pp. 196-207. ACM,
New York (2003)
25. Mine, A.: Relational abstract domains for the detection of floating-point run-time
errors. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 3-17. Springer,
Heidelberg (2004)
26. Kroening, D., Strichman, O.: Decision Procedures. Springer, Heidelberg (2008)
27. Een, N., Sorensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella,
A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502-518. Springer, Heidelberg (2004)
28. Sheeran, M., Singh, S., Stalmarck, G.: Checking safety properties using induction
and a SAT-solver. In: Johnson, S.D., Hunt Jr., W.A. (eds.) FMCAD 2000. LNCS,
vol. 1954, pp. 108-125. Springer, Heidelberg (2000)
29. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE
Transactions on Computers 35, 677-691 (1986)
30. McMillan, K.L.: Interpolation and SAT-based model checking. In: Hunt Jr., W.A.,
Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 1-13. Springer, Heidelberg
(2003)
31. Chockler, H., Kroening, D., Purandare, M.: Coverage in interpolation-based model
checking. In: Design Automation Conference (DAC), ACM, New York (2010)
 
 
Search WWH ::




Custom Search