Sciweavers

4737 search results - page 156 / 948
» The LOGIC negotiation model
Sort
View
99
Voted
PADL
2007
Springer
15 years 9 months ago
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
Andreas Podelski, Andrey Rybalchenko
SEMWEB
2007
Springer
15 years 9 months ago
Rough Description Logics for Modeling Uncertainty in Instance Unification
Michel C. A. Klein, Peter Mika, Stefan Schlobach
LICS
2006
IEEE
15 years 9 months ago
Temporal Logics and Model Checking for Fairly Correct Systems
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
Daniele Varacca, Hagen Völzer