![Computer programming / Logic in computer science / Model checkers / Model checking / Formal verification / BLAST model checker / Abstract interpretation / Static program analysis / Abstraction / Computing / Software engineering / Formal methods Computer programming / Logic in computer science / Model checkers / Model checking / Formal verification / BLAST model checker / Abstract interpretation / Static program analysis / Abstraction / Computing / Software engineering / Formal methods](https://www.pdfsearch.io/img/1a1879a3f8a546ab3fe6692cd7ee5af1.jpg) Date: 2008-06-15 00:09:46Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods | | IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques forAdd to Reading ListSource URL: www.eecs.berkeley.eduDownload Document from Source Website File Size: 494,66 KBShare Document on Facebook
|