<--- Back to Details
First PageDocument Content
Formal verification / Computer science / Formal specification / Software development process / Validation / Formal methods / Applied mathematics / Science
Date: 2011-10-31 12:04:31
Formal verification
Computer science
Formal specification
Software development process
Validation
Formal methods
Applied mathematics
Science

Microsoft PowerPoint - 7thICCC TL-LETI propal4.ppt

Add to Reading List

Source URL: www.commoncriteriaportal.org

Download Document from Source Website

File Size: 917,86 KB

Share Document on Facebook

Similar Documents

Computer data storage / Computing / Computer memory / System software / Non-volatile memory / Embedded Linux / UBIFS / Flash memory / Memory Technology Device / Flash file system / Wear leveling / Data

Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif

DocID: 1xUfd - View Document

Formal Specification and Verification of a Selective Defense for TDoS Attacks Yuri Gil Dantas1 , Marcilio O. O. Lemos2 , Iguatemi E. Fonseca2 , and Vivek Nigam2 1

DocID: 1vqJs - View Document

Cryptocurrencies / Economy / Money / Payment systems / Alternative currencies / Financial cryptography / Financial services / Digital currencies / Unspent transaction output / Cryptocurrency wallet / Wallet

Formal specification for a Cardano wallet (Version 1.2) A N IOHK TECHNICAL REPORT

DocID: 1vpDL - View Document

Modelling, Specification and Formal Analysis of Complex Software Systems - Precise Static Analysis of Programs with Dynamic Memory

DocID: 1vnkG - View Document

Automated VeriFast: Supporting Formal Specification Authoring through Specification Inference Mahmoud Mohsen Bart Jacobs

DocID: 1uPKK - View Document