2702 search results - page 20 / 541 » Practically Applicable Formal Methods |
69
Voted
CAV
2005
Springer
15 years 3 months ago
2005
Springer
61
Voted
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
109
click to vote
FMICS
2010
Springer
14 years 9 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
91
Voted
PAKM
2000
14 years 11 months ago
2000
Knowledge management is not one single discipline. Rather, it an integration of numerous endeavors and fields of study. This paper provides a framework for characterizing the vari...
TSE
1998
14 years 9 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...