Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,292,035 papers from all fields of science
Search
Sign In
Create Free Account
ANSI/ISO C Specification Language
Known as:
ACSL
The ANSI/ISO C Specification Language (ACSL) is a specification language for C programs, using Hoare style pre- and postconditions and invariants…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Declarative programming
Design by contract
ESC/Java
Formal methods
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis
N. Kosmatov
,
Julien Signoles
TAP@STAF
2014
Corpus ID: 28826157
Among various static and dynamic software verification techniques, runtime assertion checking traditionally holds a particular…
Expand
2014
2014
StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C
Guillaume Petiot
,
N. Kosmatov
,
Alain Giorgetti
,
J. Julliand
2014
Corpus ID: 67695102
We present StaDy, a new integration of the concolic test generator PathCrawler within the software analysis platform Frama- C…
Expand
2014
2014
An Institutional Framework for Heterogeneous Formal Development in UML
Alexander Knapp
,
Till Mossakowski
,
M. Roggenbach
arXiv.org
2014
Corpus ID: 207974479
We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal…
Expand
2013
2013
Evaluating the Run-Time Performance of Synthesised Resource-Reservation Schedulers Using TAtoC, UPPAAL and Frama-C
M. Åsberg
,
P. Pettersson
,
Thomas Nolte
2013
Corpus ID: 59386203
Evaluating the Run-Time Performance of Synthesised Resource-Reservation Schedulers Using TAtoC, UPPAAL and Frama-C
2013
2013
EXPERIMENTS ON SELF-APPLICABILITY IN THE C-LIGHT VERIFICATION SYSTEM. PART 2
A. Promsky
2013
Corpus ID: 188037440
Successful development of the theoretical foundations of C program verification in the project C-light allowed us to address an…
Expand
2009
2009
Specification and Proof of C Programs using ACSL and Frama-C
Virgile Prevosto
2009
Corpus ID: 208931627
2008
2008
On formal methods for certifying floating-point C programs
A. Ayad
2008
Corpus ID: 2664360
This paper presents an implementation of an extension of the ACSL specication language in the Frama-C tool in order to prove the…
Expand
2001
2001
A CO-SIMULATION APPROACH FOR LEGACY MODELS
F. Ferraro
,
A. Monti
,
M. Riva
,
E. Santi
,
R. Dougal
2001
Corpus ID: 617094
The paper describes an experience on the simulation of a complex electrical plant: the allelectric icebreaker Healy of the US…
Expand
1997
1997
An Implementation of the Method of Characteristics Using ACSL Software
J. Hétet
,
R. Mezencev
International Conference on Advances in System…
1997
Corpus ID: 42065213
The simulation of gas flows in a reciprocating engine requires solution of the equations of gas dynamics because of the pressure…
Expand
1986
1986
A Multiple Dose-Route Physiological Pharmacokinetic Model for Volatile Chemicals Using ACSL/PC,
H. Clewell
,
M. Andersen
1986
Corpus ID: 51171986
Abstract : The uptake, distribution, metabolism, and elimination of a chemical in an animal organism can readily be modeled in…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE