src/backends/ocarina-backends-lnt-debug.adb · 9792a85cd38ad62b8ead08581b0d705b6cf4bde1 · TASTE / Ocarina · GitLab

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