Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Declarative programmingDesign by contractESC/JavaFormal methods

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
AbstractTwo advanced biological solutions for sludge minimization in wastewater treatment are tested. The first solution… 
Review
2014
Review
2014
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis
Among various static and dynamic software verification techniques, runtime assertion checking traditionally holds a particular… 
2014
2014
An application of a prototype credible autocoding and verification tool-chain
We present the usage of a prototype that is the result of our research efforts in the translation of control theory into code… 
Review
1998
Review
1998
ACSL/graphics modeller component models for electric power education
This paper describes the use of detailed models of power system components for undergraduate and graduate education. The models… 
1997
1997
An Implementation of the Method of Characteristics Using ACSL Software
The simulation of gas flows in a reciprocating engine requires solution of the equations of gas dynamics because of the pressure… 
1995
1995
Discontinuities in a bond graph framework
1994
1994
Optimization of a control algorithm using a simulation package
1994
1994
An ACSL-model translator to the neutral Fortran DSblock-model format
One problem in multidisciplinary simulation is to merge models which originate in different disciplinary environments into a… 
1993
1993
ACSL as a Research and Creativity Stimulus
ACSL is an excellent tool for stimulating creativity and research-related characteris tics. Evidence for such a claim includes… 
1992
1992
Large signal modelling of a boost converter with output filter
The continuous formulation approach has been developed for large-signal modeling of switching DC-DC converters in both continuous… 
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)