Home > Teams > Pacss > Tools

Pagai

Software distribution and licensing: Public binary distribution
Software Maintenance and Evolution: Basic maintenance to keep the software alive, no future plans

a static analyzer

Pagai computes loop invariants on programs given as LLVM bitcode.

Pagai computes loop invariants using a mixture of abstract interpretation and decision procedures.

View online : forge gitlab

New publications

Recent Publications
- Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo: A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism
- Sylvain Boulmé, Alexandre Maréchal: A Coq Tactic for Equality Learning in Linear Arithmetic
- Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong: A Model-based Approach to Certification of Adaptive MILS
- Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications
- Alexey Bakhirkin, Thomas Ferrére, Oded Maler: Efficient Parametric Identification for STL

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1127996

CNRS

INP Grenoble