15 search results - page 1 / 3 » Secret Ninja Formal Methods |
FM
2008
Springer
13 years 6 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
AMAST
2004
Springer
13 years 10 months ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
CSFW
2012
IEEE
11 years 7 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
ICTAC
2009
Springer
13 years 11 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
CVPR
2010
IEEE
13 years 10 months ago
2010
IEEE
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...