2514 search results - page 6 / 503 » The use of industrial-strength formal methods |
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
ICFCA
2004
Springer
15 years 5 months ago
2004
Springer
CAV
2005
Springer
15 years 5 months ago
2005
Springer
FM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...