A survey of automated techniques for formal software verification

The quality and the correctness of software are often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific flaws. This paper surveys algorithms that perform automatic static analysis of software to detect programming errors o...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: D'Silva, V, Kroening, D, Weissenbacher, G
Μορφή: Journal article
Έκδοση: Institute of Electrical and Electronics Engineers 2008