Stem postcondit$ (all stems)

10 papers:

ICST-2015-YiYGWLZ #execution #symbolic computation

Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.

IFM-2013-IshiiMN #automaton #calculus #hybrid #induction #verification

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus (DI, GM, SN), pp. 139–153.

ICGT-2006-ButtnerG #graph transformation #sequence

Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (FB, MG), pp. 398–413.

FM-v2-1999-LeavensB #specification

Enhancing the Pre- and Postcondition Technique for More Expressive Specifications (GTL, ALB), pp. 1087–1106.

WCRE-1995-GannodC #reverse engineering #semantics

Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering (GCG, BHCC).

FME-1993-BicarreguiR #comparison #invariant

Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (JB, BR), pp. 162–182.

SEKE-1993-Li #development

Transforming Postconditions To Aid Program Development (JL), pp. 689–694.

CHI-1992-FrankGGF #user interface #using

Building User Interfaces Interactively Using Pre- and Postconditions (MRF, JJdG, DFG, JDF), pp. 641–642.

CHI-1992-GieskensF #user interface

Controlling User Interface Objects Through Pre- and Postconditions (DFG, JDF), pp. 189–194.

VDME-1991-1-Jonkers

Upgrading the Pre- and Postcondition Technique (HBMJ), pp. 428–456.