2702 search results - page 20 / 541 » Practically Applicable Formal Methods |
102
Voted
CAV
2005
Springer
15 years 7 months ago
2005
Springer
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
145
Voted
FMICS
2010
Springer
15 years 2 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...
123
Voted
PAKM
2000
15 years 3 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...
112
click to vote
TSE
1998
15 years 1 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...