Skip to content

Flow*: A Verification Tool for Cyber-Physical Systems

  • Home
  • Benchmarks
    • 2-Dimensional LTV System
    • 9-Dimensional Genetic Model
    • Filtered Oscillator
    • Laub-Loomis Model
    • p53 Model
    • SpaceEx Helicopter Example
  • Downloads
  • Examples
  • Models
  • New Features
    • Version 2.1.0
  • People
  • Publications
  • Techniques
HomePeople

People

Core source code

Xin Chen University of Colorado at Boulder
Sriram Sankaranarayanan University of Colorado at Boulder
Erika Ábrahám RWTH Aachen University

 

Extensions

Share this:

  • Twitter
  • Facebook

Like this:

Like Loading...

Recent Posts

  • The version 2.1.0 of Flow* is released.
Create a free website or blog at WordPress.com.
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy
    • Flow*: A Verification Tool for Cyber-Physical Systems
    • Customize
    • Sign up
    • Log in
    • Copy shortlink
    • Report this content
    • Manage subscriptions
%d bloggers like this: