--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on June 2019 ---
Hello Rod, for something like stack you can look at our approach in Chapter 11 of âACSL by Exampleâ https://github.com/fraunhoferfokus/acsl-by-example/blob/master/ACSL-by-Example.pdf The code of the examples and the various logic functions and predicates can be found under https://github.com/fraunhoferfokus/acsl-by-example