The formal methods, fault-tolerance, and cyber-security research communities explore models that differ from each other. The differences frustrate efforts at cross-community collaboration. Moreover, ignorance about these differences means the status quo is likely to persist. This paper discusses two of the key differences: (i) the trace-based semantic foundation for formal methods and (ii) the implicit notions of independence. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Schneider, F. B. (2011). Beyond traces and independence. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6875 LNCS, pp. 479–485). https://doi.org/10.1007/978-3-642-24541-1_34
Mendeley helps you to discover research relevant for your work.