Explores solutions for business and IT alignment, traceability, regulation heuristics, the Light Aviation Market case study, Solar System evolution, system definition, and epistemological perspectives.
Explores the implementation of an Octagon Abstract Interpreter for C programs, covering abstract interpretation, octagonal constraints, closures, pointers, and the FrontC parser.
