4036 search results - page 32 / 808 » Formal Methods |
CAV
2005
Springer
15 years 10 months ago
2005
Springer
146
click to vote
TFM
2009
Springer
15 years 11 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...
140
click to vote
FTRTFT
1998
Springer
15 years 8 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...
