Verimag

PinaVM

PinaVM is SystemC front-end based on LLVM, and back-ends to generate code like Promela (input language for SPIN).

It can be considered as the successor of Pinapa.

Voir en ligne : PinaVM’s home page

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 876095