Sciweavers

2872 search results - page 7 / 575

» On (Omega-)Regular Model Checking

203

FMSD
2011

236views Formal Methods» more FMSD 2011»

Automatic analysis of DMA races using model checking and k-induction

14 years 7 months ago

Automatic analysis of DMA races using model checking and k-induction

Download www.philipp.ruemmer.org

Alastair F. Donaldson, Daniel Kroening, Philipp R&...

claim paper

Read More »

106

Voted

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 6 months ago

Predicate abstraction and CEGAR for higher-order model checking

Download www.kb.ecei.tohoku.ac.jp

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

190

Voted

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

14 years 3 months ago

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Download cri-dist.univ-paris1.fr

Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...

claim paper

Read More »

96

EMNLP
2011

140views Natural Language Processing» more EMNLP 2011»

Bayesian Checking for Topic Models

14 years 3 months ago

Bayesian Checking for Topic Models

Download aclweb.org

David M. Mimno, David M. Blei

claim paper

Read More »

149

SPIN
2012
Springer

228views Theoretical Computer Science» more SPIN 2012»

Model Checking DSL-Generated C Source Code

13 years 5 months ago

Model Checking DSL-Generated C Source Code

Download ww2.cs.mu.oz.au

We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-speciﬁc language (DSL). We have built a tool which automatically ...

Martin Sulzmann, Axel Zechner

claim paper

Read More »

« Prev « First page 7 / 575 Last » Next »