Sciweavers

2875 search results - page 150 / 575

» Model checking agentspeak

148

ICFEM
2009
Springer

94views Software Engineering» more ICFEM 2009»

RAFFS: Model Checking a Robust Abstract Flash File Store

16 years 27 days ago

RAFFS: Model Checking a Robust Abstract Flash File Store

Download swerl.tudelft.nl

Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG

Paul Taverne, Cornelis Pronk

claim paper

Read More »

133

SPIN
2009
Springer

86views Theoretical Computer Science» more SPIN 2009»

Experience with Model Checking Linearizability

16 years 26 days ago

Experience with Model Checking Linearizability

Download domino.research.ibm.com

Martin T. Vechev, Eran Yahav, Greta Yorsh

claim paper

Read More »

148

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

16 years 26 days ago

EMMA: Explicit Model Checking Manager (Tool Presentation)

Download www.fi.muni.cz

Radek Pelánek, Václav Rosecký

claim paper

Read More »

123

SSS
2009
Springer

99views Control Systems» more SSS 2009»

Model Checking Coalition Nash Equilibria in MAD Distributed Systems

16 years 26 days 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 »

185

TABLEAUX
2009
Springer

255views Artificial Intelligence» more TABLEAUX 2009»

Goal-Directed Invariant Synthesis for Model Checking Modulo Theories

16 years 26 days 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 »

« Prev « First page 150 / 575 Last » Next »