Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,636,636 papers from all fields of science
Search
Sign In
Create Free Account
Predicate transformer semantics
Known as:
Weakest liberal precondition
, Weakest precondition
, WLP
Expand
Predicate transformer semantics have been introduced by Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
41 relations
Abstract interpretation
Abstract syntax
Algorithm
Automated reasoning
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks
Matthew Sotoudeh
,
Aditya V. Thakur
arXiv.org
2019
Corpus ID: 201070040
Analysis and manipulation of trained neural networks is a challenging and important problem. We propose a symbolic representation…
Expand
2002
2002
A Predicate Transformer Semantics for a Concurrent Language of Refinement
R. Loader
,
Ana Cavalcanti
,
J. Woodcock
2002
Corpus ID: 1589289
Circus is a combination of Z and CSP; its chief distinguishing feature is the inclusion of the ideas of the refinement calculus…
Expand
2001
2001
B: a model-based method using generalised substitutions
H. Diab
,
M. Frappier
2001
Corpus ID: 118176167
The B notation [1] was developed by Jean-Raymond Abrial. It supports a large segment of the development life cycle, from…
Expand
2000
2000
Evaluating the TLS Family of Protocols with Weakest Precondition Reasoning
Justin Childs
2000
Corpus ID: 7527012
In this paper we show how the Cryptographic Protocol Analysis Language Evaluation System (CPALES) was used in the analysis of the…
Expand
1998
1998
Program Transformation for Proving Database Transaction Safety
Michael Lawley
1998
Corpus ID: 57582787
In this thesis we propose the use of Dijkstra’s concept of a predicate transformer [Dij75] for the determination of database…
Expand
1998
1998
InVeSt : A Tool for the Veri cation of Invariants
S.
,
Bensalemy
,
Y.
,
Lakhnechz
,
Owrex
1998
Corpus ID: 7548143
There are basically two approaches to the veriication of reactive systems, the algorithmic approach on one hand and the deductive…
Expand
1997
1997
ECOOP'97 - Object-Oriented Programming : 11th European Conference Jyväskylä, Finland, June 9–13, 1997 : Proceedings
M. Aksit
,
S. Matsuoka
1997
Corpus ID: 56625421
GOODS to appear on the stage.- Balloon types: Controlling sharing of state in data types.- Static integrity constraint management…
Expand
1993
1993
Using Weakest Preconditions to Simplify Integrity Constraint Checking
Michael Lawley
,
R. Topor
,
M. Wallace
Australian Database Conference
1993
Corpus ID: 42834180
We present a procedure for deriving the weakest precondition for a database update and an integrity constraint. We show how to…
Expand
Review
1988
Review
1988
3 1 Exploring Logical Dynamics : The Main Lines
J. Benthem
1988
Corpus ID: 14119260
Modal logic becomes action logic by adding programs as in propositional dynamic logic or the μ– calculus. Modal languages can be…
Expand
1980
1980
On proving the absence of execution errors
W. D. Elliott
1980
Corpus ID: 61392722
An important and neglected program property is that the program executes cleanly, that is, without execution errors such as…
Expand