Proving the correctness of client/server software

DOI10.1007/S12046-009-0004-2MaRDI QIDQ1040009zbMATH OpenOpenAlexFDO

Authors Eyad Alkassar, Sebastian Bogan, Wolfgang J. Paul

Publication date 23 November 2009

Published in Sādhanā (Search for Journal in Brave)

Full work available at URL https://www.ias.ac.in/describe/article/sadh/034/01/0145-0191

zbMATH Keywords

non-interferenceIsabelle/HOLsoftware verificationoperating system correctnessremote procedure callingVerisoft

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Publication:3476264
• scientific article; zbMATH DE number 4080895
• A functional programming approach to the specification and verification of concurrent systems
• Mathematics and Software Verification
• Managing Replicated Remote Procedure Call Transactions

Cites work

• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
• A mini challenge: build a verifiable filesystem
• A new fault-tolerant algorithm for clock synchronization
• Formal Pervasive Verification of a Paging Mechanism
• Logic for Programming, Artificial Intelligence, and Reasoning
• Mechanizing Mathematical Reasoning
• Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
• Reduction
• Synchronizing clocks in the presence of faults

Cited in

(3)

• Balancing the load. Leveraging a semantics stack for systems verification
• Social processes, program verification and all that
• scientific article; zbMATH DE number 4080895 (Why is no real title available?)

Describes a project that uses

Uses Software

• veriSoft

This page was built for publication: Proving the correctness of client/server software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1040009)