Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Presentation

A Temporal Logic For Network Flow Analysis

  • 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.

  • Download

Part of a Collection

FloCon 2010 Collection