PPL
From MaRDI portal
swMATH5357MaRDI QIDQ17497FDOQ17497
scientific article; zbMATH DE number Author name (Why is no real title available?)
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}
- Hybrid Systems: Computation and Control
- Apron
- COSTA
- DEMiCs
- GAVS
- IMITATOR
- MixedVol
- ZRAM
- VINAS-P
- ECDAR
- LOGEN
- HyTech
- ECCE
- PHAVer
- SMV
- cddplus
- RSOLVER
- 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
- Parameter synthesis for hierarchical concurrent real-time systems
- \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
