BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
transform (1)
summari (1)
widen (1)
base (1)
cryptograph (1)

Stem underapproxim$ (all stems)

5 papers:

TACASTACAS-2013-GantyIK #approximate #integer #source code #summary
Underapproximation of Procedure Summaries for Integer Programs (PG, RI, FK), pp. 245–259.
CAVCAV-2010-GantyMM #approximate #bound
Bounded Underapproximations (PG, RM, BM), pp. 600–614.
CAVCAV-2007-MatsliahS #approximate #encryption #model checking #random
Underapproximation for Model-Checking Based on Random Cryptographic Constructions (AM, OS), pp. 339–351.
SASSAS-2006-Schmidt #approximate
Underapproximating Predicate Transformers (DAS), pp. 127–143.
POPLPOPL-2005-GrumbergLST #approximate #multi
Proof-guided underapproximation-widening for multi-process systems (OG, FL, OS, MT), pp. 122–131.

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.