search menu icon-carat-right cmu-wordmark

A Temporal Logic For Network Flow Analysis

January 2010 Presentation
Timothy J. Shimeall

In this presentation, Tim Shimeall discusses temporal logic adaptations of flow analysis and how formalization of time relationships can help improve flow analysis methods.

Publisher:

Software Engineering Institute

Abstract

In this presentation, given at FloCon 2010, Tim Shimeall discusses temporal logic adaptations of flow analysis and how formalization of time relationships can help improve flow analysis methods.