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.