Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:M.D.T.Lewis B.Becker P.Marin S.Kupferschmid
Talks about:design (2) increment (1) incomplet (1) techniqu (1) interpol (1) partial (1) verif (1) model (1) encod (1) craig (1)
Person: Christian Miller
DBLP: Miller:Christian
Contributed to:
2012
2010Wrote 3 papers:
- DATE-2012-MarinMLB #design #incremental #using #verification
- Verification of partial designs using incremental QBF solving (PM, CM, MDTL, BB), pp. 623–628.
- SAT-2010-MillerKLB #bound #design #encoding #model checking
- Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs (CM, SK, MDTL, BB), pp. 194–208.