Sciweavers

9067 search results - page 149 / 1814

» Adaptive Model Checking

120

Voted

SPIN
2009
Springer

86views Theoretical Computer Science» more SPIN 2009»

Experience with Model Checking Linearizability

15 years 11 months ago

Experience with Model Checking Linearizability

Download domino.research.ibm.com

Martin T. Vechev, Eran Yahav, Greta Yorsh

claim paper

Read More »

128

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

15 years 11 months ago

EMMA: Explicit Model Checking Manager (Tool Presentation)

Download www.fi.muni.cz

Radek Pelánek, Václav Rosecký

claim paper

Read More »

104

SSS
2009
Springer

99views Control Systems» more SSS 2009»

Model Checking Coalition Nash Equilibria in MAD Distributed Systems

15 years 11 months ago

Model Checking Coalition Nash Equilibria in MAD Distributed Systems

Download userweb.cs.utexas.edu

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

claim paper

Read More »

160

TABLEAUX
2009
Springer

255views Artificial Intelligence» more TABLEAUX 2009»

Goal-Directed Invariant Synthesis for Model Checking Modulo Theories

15 years 11 months ago

Goal-Directed Invariant Synthesis for Model Checking Modulo Theories

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 »

106

TAP
2009
Springer

117views Hardware» more TAP 2009»

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

15 years 11 months ago

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

Download tap.ethz.ch

Paula Herber, Florian Friedemann, Sabine Glesner

claim paper

Read More »

« Prev « First page 149 / 1814 Last » Next »