Kerstin Hartig

Learn More
  • Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Pohl, Juan Soto
  • 2010
2 Foreword This report provides various examples for the formal specification, implementation, and deductive verification of C programs using the ANSI/ISO-C Specification Language (ACSL [1]) and the Jessie plug-in [2] of Frama-C [3]. We have chosen our examples from the C ++ Standard Library whose initial version is still known as the Standard Template(More)
  • Jochen Burghardt, Jens Gerlach, Timon Lapawczyk, Andreas Carben, Liangliang Gu, Kerstin Hartig +3 others
  • 2016
This release is intended for Frama-C Magnesium, issued in January 2016. 4 For changes in previous versions we refer to the Appendix A on Page 149. A main goal of this release is to reduce the number of proof obligations that cannot be verified automatically and therefore must be tackled by an interactive theorem prover such as Coq. To this end, we analyzed(More)
2 This report provides various examples for the formal specification, implementation, and deductive verification of C programs using the ANSI/ISO-C Specification Language (ACSL [1]) and the Jessie plug-in [2] of Frama-C [3]. We have chosen our examples from the C++ Standard Library whose initial version is still known as the Standard Template Library (STL).(More)
  • Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Pohl, Juan Soto
  • 2010
2 Foreword This report provides various examples for the formal specification, implementation, and deductive verification of C programs using the ANSI/ISO-C Specification Language (ACSL [1]) and the Jessie plug-in [2] of Frama-C [3]. We have chosen our examples from the C ++ Standard Library whose initial version is still known as the Standard Template(More)
Clomethiazole is widely used in European countries to treat alcohol withdrawal symptoms including delirium tremens. The current study aimed to explore the effects of clomethiazole on the sleep of healthy volunteers. We postulated both a hypnotic and a REM suppressive effect as well as the occurrence of a rebound phenomenon following three days of treatment(More)
  • 1