![Software development / Formal verification / Model checking / Formal specification / Electronic design automation / Specification language / Verification and validation / Software development process / Programming language / Formal methods / Theoretical computer science / Science Software development / Formal verification / Model checking / Formal specification / Electronic design automation / Specification language / Verification and validation / Software development process / Programming language / Formal methods / Theoretical computer science / Science](https://www.pdfsearch.io/img/2e2bd37197acbee6a52311ba319b71a2.jpg) Date: 2011-09-30 04:09:55Software development Formal verification Model checking Formal specification Electronic design automation Specification language Verification and validation Software development process Programming language Formal methods Theoretical computer science Science | | Manifesto from Dagstuhl Perspectives Workshop[removed]Modeling, Analysis, and Verification – The Formal Methods Manifesto 2010 Edited byAdd to Reading ListSource URL: drops.dagstuhl.deDownload Document from Source Website File Size: 642,15 KBShare Document on Facebook
|