4036 search results - page 32 / 808 » Formal Methods |
CAV
2005
Springer
15 years 7 months ago
2005
Springer
122
Voted
TFM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
121
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
