501 search results - page 21 / 101 » Using Abstraction to Verify Arbitrary Temporal Properties |
FAC
2007
14 years 9 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
104
click to vote
PERVASIVE
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. This paper identifies a new physical correlate of finger pressure that can be detected and measured visually in a wide variety of situations. When a human finger is press...
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
FM
2003
Springer
15 years 2 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
TGC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...