1633 search results - page 214 / 327 » On the Verification of Temporal Properties |
107
Voted
IJCSA
2007
15 years 19 days ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
98
Voted
KI
2002
Springer
15 years 11 days ago
2002
Springer
This article summarizes research on several interrelated general issues that can arise in the design and development of user modeling systems: the learning and subsequent adaptati...
91
Voted
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
183
Voted
POPL
2002
ACM
16 years 1 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
115
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...