1481 search results - page 92 / 297 » Enriching the Software Development Process by Formal Methods |
118
Voted
APSEC
2008
IEEE
15 years 5 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...
153
Voted
JUCS
2000
15 years 3 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
133
Voted
JCP
2008
15 years 3 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
131
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
158
click to vote
FORTE
2008
15 years 4 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...