<--- Back to Details
First PageDocument Content
Formal methods / Specification language / Refinement / Abstract state machines / Specification / Object Process Methodology / Domain-specific language / Programming language / Integrated circuit design / Formal specification / Isabelle / Program derivation
Date: 2012-08-02 20:27:15
Formal methods
Specification language
Refinement
Abstract state machines
Specification
Object Process Methodology
Domain-specific language
Programming language
Integrated circuit design
Formal specification
Isabelle
Program derivation

Add to Reading List

Source URL: www.kestrel.edu

Download Document from Source Website

File Size: 95,13 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