382 search results - page 19 / 77 » Checking Interval Based Properties for Reactive Systems |
MEMOCODE
2003
IEEE
14 years 1 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
FASE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
COMPSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
COLCOM
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract—Nodes within existing P2P networks typically exchange periodic keep-alive messages in order to maintain network connections between neighbours. This paper investigates a...
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...