Sciweavers

714 search results - page 21 / 143

» Certifying Model Checkers

211

Voted

FROCOS
2009
Springer

154views Control Systems» more FROCOS 2009»

Building SMT-Based Software Model Checkers: An Experience Report

16 years 2 months ago

Building SMT-Based Software Model Checkers: An Experience Report

Download disi.unitn.it

Alessandro Armando

claim paper

Read More »

144

ERLANG
2009
ACM

128views Programming Languages» more ERLANG 2009»

Recent improvements to the McErlang model checker

16 years 1 months ago

Recent improvements to the McErlang model checker

Download www.erlang-factory.com

Clara Benac Earle, Lars-Åke Fredlund

claim paper

Read More »

112

Voted

HASE
2007
IEEE

133views Control Systems» more HASE 2007»

Model-Checker-Based Testing of LTL Specifications

16 years 1 months ago

Model-Checker-Based Testing of LTL Specifications

Download www.cs.utep.edu

Luis García, Steve Roach

claim paper

Read More »

192

DEPCOS
2006
IEEE

93views Hardware» more DEPCOS 2006»

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

16 years 1 months ago

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

Download home.mit.bme.hu

Zoltán Micskei, István Majzik

claim paper

Read More »

154

Voted

SAC
2005
ACM

94views Applied Computing» more SAC 2005»

Prediction of inherited and genetic mutations using the software model checker SPIN

16 years 29 days ago

Prediction of inherited and genetic mutations using the software model checker SPIN

Download www.cs.utep.edu

Zubin Balsara, Steve Roach

claim paper

Read More »

« Prev « First page 21 / 143 Last » Next »