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:
check (4)
verilog (2)
consist (1)
softwar (1)
type (1)

Stem saniti$ (all stems)

3 papers:

SEFMSEFM-2012-BarnatBB #requirements
Checking Sanity of Software Requirements (JB, PB, LB), pp. 48–62.
PEPMPEPM-2009-SalamaMTGO #consistency #dependent type #using
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions (CS, GM, WT, JG, JO), pp. 121–130.
DATEDATE-v2-2004-NardiS #synthesis
Synthesis for Manufacturability: A Sanity Check (AN, ALSV), pp. 796–803.

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.