Predicate transformer semantics

Known as: Weakest liberal precondition, Weakest precondition, WLP

Predicate transformer semantics have been introduced by Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2019

Analysis and manipulation of trained neural networks is a challenging and important problem. We propose a symbolic representation…

2015

We study the description logic ALCQIO, which extends the standard description logic ALC with nominals, inverses and counting…

2013

2010

Poor power quality of single-phase electric railway systems with industrial three-phase power supply will result in extra line…

2009

An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original…

2006

The design of control systems is usually based on diagrammatic definitions of control laws. The independent use of Z and CSP to…

1998

Abstract. In the refinement calculus, program statements are modelled as predicate transformers. A product operator for predicate…

1995

Product and summation operators for predicate transformers were introduced by Naumann and by Martin using category theoretic…

1993

Software development in safety-critical systems demands techniques which provide both the precision of formal methods and the…

1992

In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…