1809 search results - page 15 / 362 » A Formal Specification of dMARS |
FMICS
2010
Springer
13 years 8 months ago
2010
Springer
FM
2008
Springer
13 years 9 months ago
2008
Springer
FM
2008
Springer
13 years 9 months ago
2008
Springer
CIA
2007
Springer
14 years 1 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...