---
layout: fc_discuss_archives
title: Message 14 from Frama-C-discuss on March 2020
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] ACSL modules
- Subject: [Frama-c-discuss] ACSL modules
- From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
- Date: Wed, 25 Mar 2020 07:36:36 +0000
Hello,
the description of the ACSL implementation contains in section 2.6.11. the experimental feature of âACSL modulesâ.