326 search results - page 15 / 66 » Tailoring and Verifying Software Process |
APSEC
2008
IEEE
13 years 10 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
FMICS
2010
Springer
13 years 8 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...
DELTA
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper covers the concept, architecture, development and demonstration of a Smart Antenna Software Radio Test System (SASRATS). SASRATS was designed and developed as a functio...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
JCDL
2010
ACM
14 years 1 months ago
2010
ACM
Converting a scanned document to a binary format (black and white) is a key step in the digitization process. While many existing binarization algorithms operate robustly for well...