Summary This first lecture presents the basic concepts of OTAWA as an example program. Other learnt topics include how to to do a Makefile to compile the program and an insight on an important concept of OTAWA: properties. First Steps…
![First Program First Program](http://www.tracesgroup.net/otawa/wp-content/uploads/2015/12/Slate-300px.resized.png)
Summary This first lecture presents the basic concepts of OTAWA as an example program. Other learnt topics include how to to do a Makefile to compile the program and an insight on an important concept of OTAWA: properties. First Steps…