698 search results - page 38 / 140 » Model Checking with Multi-valued Logics |
179
Voted
ASIAN
2003
Springer
15 years 10 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
175
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
142
click to vote
ICLP
1997
Springer
15 years 9 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
167
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
145
click to vote
ECTEL
2007
Springer
15 years 9 months ago
2007
Springer
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...