BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
specif (4)
system (3)
reactiv (2)
detect (2)
initi (1)

Stem unrealiz$ (all stems)

5 papers:

TACASTACAS-2014-FinkbeinerT #detection #distributed #specification
Detecting Unrealizable Specifications of Distributed Systems (BF, LT), pp. 78–92.
ICSEICSE-2013-MaozS #specification
Counter play-out: executing unrealizable scenario-based specifications (SM, YS), pp. 242–251.
ICSMEICSM-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.
SEFMSEFM-2004-Yoshiura #specification
Finding the Causes of Unrealizability of Reactive System Formal Specifications (NY), pp. 34–43.
ICALPICALP-1989-AbadiLW #specification
Realizable and Unrealizable Specifications of Reactive Systems (MA, LL, PW), pp. 1–17.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.