Giters
Christian Schilling (schillic)

schillic

Geek Repo

39

followers

5

following

43

stars

Company:Aalborg University

Location:Denmark

Home Page:http://www.christianschilling.net

Github PK Tool:Github PK Tool

Organizations
HySynth
JuliaReach
ultimate-pa
verivital
VeriXAI
Wolverine-workshop
Wolverine2021

Christian Schilling's repositories

HA2Stateflow

A converter from a hybrid automaton model to a Stateflow model

Language:CStargazers:3Issues:2Issues:0

Hydentify

Parameter identification for multiaffine systems

Language:MATLABStargazers:1Issues:2Issues:0

AdaptiveMomentClosure

Parameter identification for chemical reaction networks using adaptive moment closure

Language:MATLABStargazers:0Issues:2Issues:0

AffineArithmetic.jl

Affine arithmetic in Julia

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dreal

dReal: An SMT Solver for Nonlinear Theories of the Reals

Language:C++License:GPL-3.0Stargazers:0Issues:4Issues:2

symQV

Verification of quantum programs

Language:PythonLicense:MITStargazers:0Issues:0Issues:0