837 search results - page 37 / 168 » Proof Development with OMEGA |
92
Voted
NJC
2006
15 years 23 days ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
99
Voted
LREC
2010
15 years 2 months ago
2010
A lot of research effort has been spent on the development of emotion theories and modeling, however, their suitability and applicability to expressions in human computer interact...
82
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
101
Voted
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
106
click to vote
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...