4340 search results - page 47 / 868 » Formal Methods and Cryptography |
106
click to vote
FMAM
2010
14 years 9 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
123
click to vote
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
JUCS
2007
14 years 11 months ago
2007
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief
FM
2009
Springer
15 years 6 months ago
2009
Springer
IFM
2005
Springer
15 years 5 months ago
2005
Springer