123
Voted
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
137
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
203
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis ...
113
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
101
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...