Search Sciweavers | Sciweavers

650 search results - page 16 / 130

» The SpinJa Model Checker

151

click to vote

CAV
2010
Springer

225views Hardware» more CAV 2010»

Merit: An Interpolating Model-Checker

15 years 9 months ago

Download hal.archives-ouvertes.fr

Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...

Nicolas Caniart

claim paper

Read More »

183

click to vote

FROCOS
2009
Springer

154views Control Systems» more FROCOS 2009»

Building SMT-Based Software Model Checkers: An Experience Report

16 years 14 days ago

Download disi.unitn.it

Alessandro Armando

claim paper

Read More »

123

click to vote

ERLANG
2009
ACM

128views Programming Languages» more ERLANG 2009»

Recent improvements to the McErlang model checker

16 years 13 days ago

Download www.erlang-factory.com

Clara Benac Earle, Lars-Åke Fredlund

claim paper

Read More »

click to vote

HASE
2007
IEEE

133views Control Systems» more HASE 2007»

Model-Checker-Based Testing of LTL Specifications

16 years 7 days ago

Download www.cs.utep.edu

Luis García, Steve Roach

claim paper

Read More »

160

click to vote

DEPCOS
2006
IEEE

93views Hardware» more DEPCOS 2006»

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

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers