143 search results - page 4 / 29 » Temporal Logic Verification of Lock-Freedom |
108
Voted
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
100
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
158
Voted
IGPL
2006
15 years 3 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
144
Voted
TII
2010
14 years 10 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
264
Voted
AMCS
2011
14 years 10 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...