agerlach/Flowstar.jl

This is stars and forks stats for /agerlach/Flowstar.jl repository. As of 28 Apr, 2024 this repository has 3 stars and 0 forks.

Flowstar.jl This package is a wrapper to Flow*, a verification tool for cyber-physical systems. Currently only continuous reachability is supported. Direct Usage Pass an absolute path to the *.model file to flowstar. This returns a string of the contents of the resulting *.flow file. using Flowstar model = download("https://home.cs.colorado.edu/~xich8622/benchmarks/laub_loomis_small.model") flow_str = flowstar(model) Parsed Usage Flowstar.jl can also be used to parse the string produced by Flow*...