C implicit Team1 (E-ACSL) Benchmark2
From CRV
Revision as of 16:40, 3 June 2016 by E-acsl (Talk | contribs) (E-acsl moved page C implicit Team1 Benchmark2 to C implicit Team1 (E-ACSL) Benchmark2)
Contents
Benchmark Data
This benchmark is located in crv.liflab.ca@/home/e-acsl/crv16_benchmarks/c-implicit-track/realloc-init
The Trace Part
E-ACSL has no notion of trace
The Property Part
Informal Description
Demonstration Traces
Formal Specification
The formal property is given using the ACSL
