Program Verification Techniques as a Tool for Reasoning about Action and Change
Abstract & Figures
Sorry, we couldn't extract an abstract for this paper.
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.
Showing 1-2 of 2 extracted citations
Reasoning about Plans
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report
Sorry, we couldn't extract any references for this paper.
Loading similar papers…
Slides referencing similar topics
Formal Specification and Verification - Reasoning about Java Programs
Bernhard Beckert + 1 • Oct 01, 2014
Tools and Techniques: Software Specification and Verification
Gary Leavens • Oct 18, 2017
A Correctness Verification Technique for Commercial FPGA Synthesis Tools
Eui-Sub Kim + 4 • Aug 11, 2015