Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
ocarina-backends-lnt-components.adb
Find file
Blame
History
Permalink
* (ocarina-backends-lnt*): New Backend: LNT that allows code generation
· 9792a85c
Bechir Zalila
authored
Jul 02, 2016
from AADL models to LNT in order to perform formal verification on AADL models. (by Hana Mkaouar)
9792a85c