![Electronic engineering / Logic in computer science / Software testing / Software verification / Static program analysis / Model checking / Formal verification / Programming tool / Software bug / Formal methods / Software development / Theoretical computer science Electronic engineering / Logic in computer science / Software testing / Software verification / Static program analysis / Model checking / Formal verification / Programming tool / Software bug / Formal methods / Software development / Theoretical computer science](https://www.pdfsearch.io/img/6f054a961caa9a40197eeb48e68554dd.jpg) Date: 2013-01-01 18:15:45Electronic engineering Logic in computer science Software testing Software verification Static program analysis Model checking Formal verification Programming tool Software bug Formal methods Software development Theoretical computer science | | Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South WalesAdd to Reading ListSource URL: www.cse.unsw.edu.auDownload Document from Source Website File Size: 174,83 KBShare Document on Facebook
|