1472 search results - page 196 / 295 » On Model Checking Infinite-State Systems |
107
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
128
click to vote
ESAW
2008
Springer
15 years 3 months ago
2008
Springer
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
125
Voted
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
114
click to vote
PPDP
2001
Springer
15 years 6 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
122
Voted
TVLSI
1998
15 years 1 months ago
1998
Abstract—We introduce a technique for on-line built-in selftesting (BIST) of bus-based field programmable gate arrays (FPGA’s). This system detects deviations from the intende...