DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Loop variant
Loop variant
Calculi for Program Incorrectness and Arithmetic Philipp Rümmer
Module COMP11212 Fundamentals of Computation
Extending Dynamic Invariant Detection with Explicit Abstraction
Dynamic Logic for an Intermediate Language: Verification, Interaction
An Introduction to Rely/Guarantee Reasoning About Concurrency
A Systematic Derivation of Loop Specifications Using Patterns Aditi Barua University of Texas at El Paso,
[email protected]
Theory of Programs Bertrand Meyer
ACSL: ANSI/ISO C Specification Language
Verification of Goroutines Using Why3 Radboud University Nijmegen
Top View