search menu icon-carat-right cmu-wordmark
Carnegie Mellon University

A Temporal Logic For Network Flow Analysis

• Presentation
By
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

Subjects

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.

SHARE
Download PDF
Part of a Collection

FloCon 2010 Collection
Ask a question about this Presentation

This content was created for a conference series or symposium and does not necessarily reflect the positions and views of the Software Engineering Institute.