Publication
Software and Systems Modeling
Paper

Formal verification of software source code through semi-automatic modeling

View publication

Abstract

We describe the experience of modeling and formally verifying a software cache algorithm using the model checker RuleBase. Contrary to prevailing wisdom, we used a highly detailed model created directly from the C code itself, rather than a high-level abstract model. © Springer-Verlag 2004.

Date

Publication

Software and Systems Modeling

Authors

Share