Sciweavers

2873 search results - page 144 / 575
» Model Checking and the Mu-calculus
Sort
View
116
Voted
SSS
2009
Springer
16 years 10 days ago
Model Checking Coalition Nash Equilibria in MAD Distributed Systems
Federico Mari, Igor Melatti, Ivano Salvo, Enrico T...
176
Voted
TABLEAUX
2009
Springer
16 years 10 days ago
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
Silvio Ghilardi, Silvio Ranise
119
Voted
TAP
2009
Springer
117views Hardware» more  TAP 2009»
16 years 10 days ago
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
Paula Herber, Florian Friedemann, Sabine Glesner
112
Voted
DATE
2008
IEEE
133views Hardware» more  DATE 2008»
16 years 8 days ago
Model Checking of Analog Systems using an Analog Specification Language
Sebastian Steinhorst, Lars Hedrich