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:
base (4)
sat (2)
use (2)
dynam (2)
abstract (2)

Stem bmc$ (all stems)

7 papers:

CAVCAV-2015-VizelGM #performance
Fast Interpolating BMC (YV, AG, SM), pp. 641–657.
DATEDATE-2014-ReimerSSB #using
Using MaxBMC for Pareto-optimal circuit initialization (SR, MS, TS, BB), pp. 1–6.
SACSAC-2011-CollavizzaVRDG #constraints #generative
A dynamic constraint-based BMC strategy for generating counterexamples (HC, NLV, MR, SD, TG), pp. 1633–1638.
DACDAC-2008-GanaiG #scalability #slicing #towards
Tunneling and slicing: towards scalable BMC (MKG, AG), pp. 137–142.
DATEDATE-2008-GanaiG #smt #source code
Completeness in SMT-based BMC for Software Programs (MKG, AG), pp. 831–836.
DACDAC-2005-ZhangPHS #abstraction #satisfiability #using
Dynamic abstraction using SAT-based BMC (LZ, MRP, MSH, TS), pp. 754–757.
CAVCAV-2003-GuptaGWYA #abstraction #satisfiability
Abstraction and BDDs Complement SAT-Based BMC in DiVer (AG, MKG, CW, ZY, PA), pp. 206–209.

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.