swMATH5357MaRDI QIDQ17497FDOQ17497
Author name not available (Why is that?)
Official website: http://bugseng.com/products/ppl
Cited In (only showing first 100 items - show all)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Realizability and inscribability for simplicial polytopes via nonlinear optimization
- Hybrid Systems: Computation and Control
- Algorithms for tight spans and tropical linear spaces
- DEMiCs
- GAVS
- IMITATOR
- Boxes: A Symbolic Abstract Domain of Boxes
- cddplus
- azove
- Gfan
- lrs
- barvinok
- ARMC
- Dagger
- Uppaal
- PURRS
- desing
- PGeomlib
- Unimodularity
- ATGen
- HSolver
- TRACER
- Convex
- PANDA
- Lackwit
- Interproc
- NLTOOLBOX
- Soot
- PyEcdar
- InvGen
- QUASY
- HSF
- PolyLib
- SIMP
- TropLi
- SpaceEx
- BACH
- Ciao
- Shrinktech
- BENSOLVE
- SMAPO
- net.datastructures
- PRISM-games
- PAGAI
- PAT
- Unimodularity Test
- ASTREE
- StInG
- CSSV
- Octagon
- PrologCheck
- NewPolka
- infinite group relaxation
- IKOS
- ALICe
- Omega
- Tcmalloc
- FAST
- ACE
- VIPR
- DynamicPrevariety
- Averist
- SPHIN
- BOXES
- Stabhyli
- TuLiP
- lattice_polytope
- polyhedra
- ELINA
- mplrs
- Minksum
- VeriMAP
- PipLib
- RAHFT
- cellularSheaves
- Groovy
- Cibai
- timed-pattern-matching
- Julia Static Analyzer
- HyPro
- PSyHCoS
- Verimag Polyhedra Library
- PolySpace
- cutgeneratingfunctionology
- ParetoLib
- PRISM-PSY
- Vass
- Fast polyhedra abstract domain
- efmtool
- polco
- lrslib
- AMT
- gb
- singular-benchmarks
- KoAT
- Parameter synthesis for hierarchical concurrent real-time systems
- Title not available (Why is that?)
- \texttt{mplrs}: a scalable parallel vertex/facet enumeration code
- New computer-based search strategies for extreme functions of the Gomory-Johnson infinite group problem
This page was built for software: PPL
