670 search results - page 27 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
112
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
77
Voted
UML
2001
Springer
15 years 4 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
164
Voted
ICDE
2012
IEEE
13 years 2 months ago
2012
IEEE
— The web today is increasingly characterized by social and real-time signals, which we believe represent two frontiers in information retrieval. In this paper, we present Earlyb...
105
click to vote
VLSID
2003
IEEE
16 years 26 days ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
113
Voted
APN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...