Search Sciweavers | Sciweavers

4341 search results - page 184 / 869

» Quantitative Model checking

click to vote

SPIN
2009
Springer

86views Theoretical Computer Science» more SPIN 2009»

Experience with Model Checking Linearizability

14 years 5 months ago

Download domino.research.ibm.com

Martin T. Vechev, Eran Yahav, Greta Yorsh

claim paper

Read More »

click to vote

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

14 years 5 months ago

Download www.fi.muni.cz

Radek Pelánek, Václav Rosecký

claim paper

Read More »

click to vote

SSS
2009
Springer

99views Control Systems» more SSS 2009»

Model Checking Coalition Nash Equilibria in MAD Distributed Systems

14 years 5 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 5 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 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers