Stem unrealiz$ (all stems)

5 papers:

TACAS-2014-FinkbeinerT #detection #distributed #specification

Detecting Unrealizable Specifications of Distributed Systems (BF, LT), pp. 78–92.

ICSE-2013-MaozS #specification

Counter play-out: executing unrealizable scenario-based specifications (SM, YS), pp. 242–251.

ICSM-2011-JiresalCN #cobol #detection #precise #scalability #source code

Precise detection of un-initialized variables in large, real-life COBOL programs in presence of unrealizable paths (RJ, AC, RN), pp. 448–456.

SEFM-2004-Yoshiura #specification

Finding the Causes of Unrealizability of Reactive System Formal Specifications (NY), pp. 34–43.

ICALP-1989-AbadiLW #specification

Realizable and Unrealizable Specifications of Reactive Systems (MA, LL, PW), pp. 1–17.