Marcelo Forets mforets

Getting the software

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.

# suggested on Slack (20/01/2020)

using ModelingToolkit
using MacroTools: postwalk

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

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

	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

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

	# 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


	(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

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

	using IntervalMatrices
	using SymEngine
	using MacroTools: postwalk

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