![Computing / Logic in computer science / Software testing / Software quality / Formal verification / Theoretical computer science / Model checking / Verification and validation / Component-based software engineering / Formal methods / Software engineering / Software development Computing / Logic in computer science / Software testing / Software quality / Formal verification / Theoretical computer science / Model checking / Verification and validation / Component-based software engineering / Formal methods / Software engineering / Software development](https://www.pdfsearch.io/img/0ac92fd20e70275e036767f62c86d6da.jpg) Date: 2013-03-12 20:41:50Computing Logic in computer science Software testing Software quality Formal verification Theoretical computer science Model checking Verification and validation Component-based software engineering Formal methods Software engineering Software development | | Application of Lightweight Formal Methods to Software Security David P. Gilliam,* John D. Powell,* and Matt Bishop** *Jet Propulsion Laboratory, California Institute of TechnologyAdd to Reading ListSource URL: nob.cs.ucdavis.eduDownload Document from Source Website File Size: 181,27 KBShare Document on Facebook
|