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

Source URL: www.isse.uni-augsburg.de

• 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 and Verification of a Selective Defense for TDoS Attacks Yuri Gil Dantas1 , Marcilio O. O. Lemos2 , Iguatemi E. Fonseca2 , and Vivek Nigam2 1

Source URL: www.mais.informatik.tu-darmstadt.de

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

Source URL: cardanodocs.com

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

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

Source URL: resources.mpi-inf.mpg.de

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

Source URL: www.staticanalysis.org

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

Source URL: staticanalysis.org

Lessons from the JML Project Gary T. Leavens and Curtis Clifton TR #05-12a April 2005, Revised JulyKeywords: verifying compiler, specification, verification, formal methods, formal interface specification, extensi

Source URL: curtclifton.net

Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic Jeroen Meijer University of Twente P.O. Box 217, 7500AE Enschede The Netherlands

Source URL: fmt.cs.utwente.nl

Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Frontmatter More information

Source URL: assets.cambridge.org

Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Copyright Information More information

Source URL: assets.cambridge.org