Verimag

Home > Teams > Synchrone > Tools

Aspic

Accelerated Symbolic Polyhedral Invariant Computation

This software is based on Linear Relation Analysis, and combines classic LRA (with widening) and acceleration techniques.

View online : Aspic

Browsing

Sections

Teams
- Synchrone
  - Partners
  - Research Topics
  - Publications
  - Team members
  - Projects
  - Tools
    - aadl2sync
    - aadl4ocaml
    - Argos and Larissa
    - Aspic
    - BDDC v2
    - LIBTLMPWT
    - Lurette
    - Lustre V4 Toolbox
    - Lustre V6
    - Lutin
    - Pinapa
    - PinaVM
    - RDBG
    - Reglo
    - sc-during
    - SCRV
    - SR3 : Secure Resilient (...)
    - ss2lus
  - Dissemination
  - Jobs and Internships
- Tempo
- Pacss
- Rsd
Verimag
Dissemination
How to reach us
Site Map

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

info visites 703504

CNRS

INP Grenoble