Sciweavers

714 search results - page 21 / 143

» Certifying Model Checkers

99

Voted

FROCOS
2009
Springer

154views Control Systems» more FROCOS 2009»

Building SMT-Based Software Model Checkers: An Experience Report

15 years 4 months ago

Building SMT-Based Software Model Checkers: An Experience Report

Download disi.unitn.it

Alessandro Armando

claim paper

Read More »

62

ERLANG
2009
ACM

128views Programming Languages» more ERLANG 2009»

Recent improvements to the McErlang model checker

15 years 4 months ago

Recent improvements to the McErlang model checker

Download www.erlang-factory.com

Clara Benac Earle, Lars-Åke Fredlund

claim paper

Read More »

49

HASE
2007
IEEE

133views Control Systems» more HASE 2007»

Model-Checker-Based Testing of LTL Specifications

15 years 4 months ago

Model-Checker-Based Testing of LTL Specifications

Download www.cs.utep.edu

Luis García, Steve Roach

claim paper

Read More »

80

DEPCOS
2006
IEEE

93views Hardware» more DEPCOS 2006»

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

15 years 3 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 »

57

SAC
2005
ACM

94views Applied Computing» more SAC 2005»

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

15 years 3 months 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 »