mforets

set terminal postscript enhanced color
set output './images/ltv_test.eps'
set style line 1 linecolor rgb "blue"
set autoscale
unset label
set xtic auto
set ytic auto
set xlabel "x"
set ylabel "y"
plot '-' notitle with lines ls 1

mforets

```julia
              _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.4.0 (2020-03-21)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

mforets

Getting the software

First download Flow*, https://flowstar.org/dowloads/

At the time of writing the latest release is v2.1.0 from march 2017.

The following installation instructions were tested on a Dell 9575 laptop running Fedora 31.

Installing the dependencies

mforets

# paste this script on your .julia/dev/LazySets/test folder

using Revise, LazySets, Test
using LazySets: ispermutation
using LazySets.Arrays
using SparseArrays
using LinearAlgebra
using Polyhedra, CDDLib
using LazySets: dim, Interval, translate, volume, HalfSpace, project
test_suite_polyhedra = true

mforets

- https://www.anii.org.uy/apoyos/investigacion/25/investigacion-y-desarrollo-en-matematica/

mforets

(v1.2) pkg> test NeuralVerification
  Updating registry at `~/.julia/registries/General`
  Updating git-repo `https://github.com/JuliaRegistries/General.git`
   Testing NeuralVerification
 Resolving package versions...
    Status `/tmp/jl_Wfxs1N/Manifest.toml`
  [621f4979] AbstractFFTs v0.5.0
  [1520ce14] AbstractTrees v0.3.1
  [79e6a3ab] Adapt v1.0.0

mforets

# =====================================
# Version using MacroTools + SymEngine
# =====================================

using IntervalMatrices
using SymEngine
using MacroTools: postwalk

subidx(i) = join(Char.(0x2080 .+ convert.(UInt16, digits(i)[end:-1:1])))

mforets

Expression substitution

# suggested on Slack (20/01/2020)

using ModelingToolkit
using MacroTools: postwalk

function replace(ex::ModelingToolkit.Expression, ps::Pair...)

mforets

• HSCC 2021

  • https://hscc.acm.org/2021/

• Applied Verification for Continuous and Hybrid Systems

  • https://cps-vo.org/group/ARCH

• FORMATS 2020

  • https://formats-2020.cs.ru.nl/#call
  • Abstract Submission deadline: April 4, 2020

mforets

General

Lists of journals in scientific computing and applied mathematics.

• Mathematics of Computation

  • http://www.ams.org/publications/journals/journalsframework/aboutmcom

• Foundations of Computational Mathematics:

  • http://www.springer.com/mathematics/computational+science+%26+engineering/journal/10208