Search Sciweavers | Sciweavers

2875 search results - page 15 / 575

» Model checking agentspeak

click to vote

ICST
2009
IEEE

138views Software Engineering» more ICST 2009»

An Evaluation of Model Checkers for Specification Based Test Case Generation

13 years 5 months ago

Download cs.unibg.it

Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...

Gordon Fraser, Angelo Gargantini

claim paper

Read More »

click to vote

ICFEM
2010
Springer

161views Software Engineering» more ICFEM 2010»

Making the Right Cut in Model Checking Data-Intensive Timed Systems

13 years 6 months ago

Download react.cs.uni-sb.de

Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the eﬃciency of their respective symbolic state space representations. While d...

Rüdiger Ehlers, Michael Gerke 0002, Hans-J&ou...

claim paper

Read More »

click to vote

FMSD
2010

118views more FMSD 2010»

On simulation-based probabilistic model checking of mixed-analog circuits

13 years 6 months ago

Download www-verimag.imag.fr

In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...

Edmund M. Clarke, Alexandre Donzé, Axel Leg...

claim paper

Read More »

click to vote

FMSD
2000

69views more FMSD 2000»

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System

13 years 7 months ago

Download www.aladdin.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »