Search Sciweavers | Sciweavers

4962 search results - page 221 / 993

» Stochastic Model Checking

click to vote

SSS
2009
Springer

99views Control Systems» more SSS 2009»

Model Checking Coalition Nash Equilibria in MAD Distributed Systems

14 years 4 months ago

Download userweb.cs.utexas.edu

Federico Mari, Igor Melatti, Ivano Salvo, Enrico T...

claim paper

Read More »

click to vote

TABLEAUX
2009
Springer

255views Artificial Intelligence» more TABLEAUX 2009»

Goal-Directed Invariant Synthesis for Model Checking Modulo Theories

14 years 4 months ago

Download homes.dsi.unimi.it

We are interested in automatically proving safety properties of inﬁnite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...

Silvio Ghilardi, Silvio Ranise

claim paper

Read More »

click to vote

TAP
2009
Springer

117views Hardware» more TAP 2009»

Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process

14 years 4 months ago

Download tap.ethz.ch

Paula Herber, Florian Friedemann, Sabine Glesner

claim paper

Read More »

click to vote

DATE
2008
IEEE

133views Hardware» more DATE 2008»

Model Checking of Analog Systems using an Analog Specification Language

14 years 4 months ago

Download www.date-conference.com

Sebastian Steinhorst, Lars Hedrich

claim paper

Read More »

click to vote

DDECS
2008
IEEE

111views Hardware» more DDECS 2008»

Probabilistic Model Checking and Reliability of Results

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers