383 search results - page 54 / 77 » Liveness Checking as Safety Checking |
LICS
2005
IEEE
14 years 29 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
OTM
2004
Springer
14 years 22 days ago
2004
Springer
This paper addresses the issue of improving the performance of memory management for real-time Java applications, building upon the RealTime Specification for Java (RTSJ). This spe...
KBSE
2003
IEEE
14 years 19 days ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
LOPSTR
2001
Springer
13 years 11 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
ECLIPSE
2007
ACM
13 years 11 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...