136
Voted
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
129
Voted
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
117
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
105
Voted
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
104
Voted
COMPSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
