3081 search results - page 118 / 617 » A Formal Ontology of Properties |
169
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
150
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
170
click to vote
FMICS
2009
Springer
16 years 28 days ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
196
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...