Search Sciweavers | Sciweavers

3224 search results - page 87 / 645

» On Checking Model Checkers

206

click to vote

QEST
2008
IEEE

85views Modeling and Simulation» more QEST 2008»

ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems

16 years 1 months ago

Download www.fit.vutbr.cz

We present a new version of PROBDIVINE – a parallel tool for veriﬁcation of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...

Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...

claim paper

Read More »

208

Voted

FROCOS
2009
Springer

154views Control Systems» more FROCOS 2009»

Building SMT-Based Software Model Checkers: An Experience Report

16 years 1 months ago

Download disi.unitn.it

Alessandro Armando

claim paper

Read More »

143

click to vote

ERLANG
2009
ACM

128views Programming Languages» more ERLANG 2009»

Recent improvements to the McErlang model checker

16 years 1 months ago

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

Download www.cs.utep.edu

Luis García, Steve Roach

claim paper

Read More »

191

click to vote

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers