BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
C.Wu C.Wu C.(.Huang
Talks about:
counterexampl (1) algorithm (1) interpol (1) generat (1) model (1) check (1) guid (1) base (1) sat (1)

Person: Chien-Yu Lai

DBLP DBLP: Lai:Chien=Yu

Contributed to:

DAC 20132013

Wrote 1 papers:

DAC-2013-WuWLH #algorithm #generative #model checking #satisfiability
A counterexample-guided interpolant generation algorithm for SAT-based model checking (CYW, CAW, CYL, CY(H), p. 6.

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.