Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,260,284 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.
2016
2016
Two advanced biological approaches for sludge minimization from municipal wastewater treatment
C. D. Iaconi
,
A. Eusebi
,
M. D. Sanctis
,
P. Battistoni
,
G. Mininni
2016
Corpus ID: 62813084
AbstractTwo advanced biological solutions for sludge minimization in wastewater treatment are tested. The first solution…
Expand
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
An application of a prototype credible autocoding and verification tool-chain
Timothy E. Wang
,
Romain Jobredeaux
,
M. Pakmehr
,
Martin Vivies
,
E. Feron
Symposium on Dependable Autonomic and Secure…
2014
Corpus ID: 15745929
We present the usage of a prototype that is the result of our research efforts in the translation of control theory into code…
Expand
Review
1998
Review
1998
ACSL/graphics modeller component models for electric power education
Š. Pekárek
,
T. Skvarenina
1998
Corpus ID: 61283932
This paper describes the use of detailed models of power system components for undergraduate and graduate education. The models…
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
1995
1995
Discontinuities in a bond graph framework
W. Borutzky
1995
Corpus ID: 121360390
1994
1994
Optimization of a control algorithm using a simulation package
A. White
,
C. Kelly
Microprocessors and microsystems
1994
Corpus ID: 34205990
1994
1994
An ACSL-model translator to the neutral Fortran DSblock-model format
G. Grubel
,
M. Otter
,
+4 authors
H. Fischer
International Symposium on Computer-Aided Control…
1994
Corpus ID: 57847564
One problem in multidisciplinary simulation is to merge models which originate in different disciplinary environments into a…
Expand
1993
1993
ACSL as a Research and Creativity Stimulus
M. Cutchins
International Conference on Advances in System…
1993
Corpus ID: 46942047
ACSL is an excellent tool for stimulating creativity and research-related characteris tics. Evidence for such a claim includes…
Expand
1992
1992
Large signal modelling of a boost converter with output filter
J. Font
,
L. Martinez
,
+5 authors
M. Valentin
[Proceedings] IEEE International Symposium on…
1992
Corpus ID: 61854794
The continuous formulation approach has been developed for large-signal modeling of switching DC-DC converters in both continuous…
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