848 search results - page 20 / 170 » A Formal Monitoring-Based Framework for Software Development... |
FMCAD
2007
Springer
14 years 19 days ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
IADIS
2004
13 years 10 months ago
2004
This paper outlines new perspectives on the teaching and learning of software systems development in large groups based on a newly designed, final year, Software Systems Analysis ...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
One time-consuming task in the development of software is debugging. Recent work in fault localization crosschecks traces of correct and failing execution traces, it implicitly se...
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...