143 search results - page 4 / 29 » Temporal Logic Verification of Lock-Freedom |
FROCOS
2009
Springer
14 years 3 months ago
2009
Springer
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
IGPL
2006
13 years 8 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...
TII
2010
13 years 3 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 ...
AMCS
2011
13 years 3 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...