Good software propagates its own correctness (with an application to Bitcoin) By Joannes Vermorel, CEO of Lokad - April 26​th​ 2018 There are three roads to ruin; women, gambling and technicians. The most pleasant is

Source URL: media.lokad.com

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

Source URL: chargueraud.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Data types
• Type theory
• Logic in computer science
• Automated theorem proving
• OCaml
• Coq
• Disjoint-set data structure
• Proof assistant

Universal Composability Proving the Correctness of Blockchain Protocols Abhiram Kothapalli

Source URL: abhiram.me

Machine-checked correctness and complexity of a Union-Find implementation Arthur Charguéraud François Pottier

Source URL: proglang.informatik.uni-freiburg.de

Name: Math 206: Fall 2013 Final Exam Read directions carefully and show all your work. Partial credit will be assigned based upon the correctness, completeness, and clarity of your answers. Correct answers without prope

Source URL: abacus.bates.edu

MultiNyx: A Multi-Level Abstraction Framework for Systematic Analysis of Hypervisors Pedro Fonseca, Xi Wang, Arvind Krishnamurthy Hypervisor correctness is critical •

Source URL: homes.cs.washington.edu

Handling Shared, Mutable State in Stream Processing with Correctness Guarantees Nesime Tatbul1,2 , Stan Zdonik3 , John Meehan3 , Cansu Aslantas3 , Michael Stonebraker2 , Kristin Tufte4 , Chris Giossi4 , Hong Quach4 1 2

Source URL: sstore.cs.brown.edu

Why is it so difficult to ensure that software is reliable? Abstract How can we be certain that software is reliable? Is there any method that can verify the correctness of software for all cases of interest? Computer s

Source URL: www.johnsymons.net

Hoare-style Specifications as Correctness Conditions 
 for Non-Linearizable Concurrent Objects Ilya Sergey

Source URL: proglang.informatik.uni-freiburg.de

Advanced Design, Analysis and Verification of NoC Architectures Abstract Communication fabrics are critical for the quality (correctness, performance, energy, reliability) and fast integration of future computer systems

Source URL: pact2014.pactconf.org