ACSL
From MaRDI portal
Cited in
(93)- SIL - a simulation language. User's guide
- A continuous-system simulation language designed for LSI economics
- JMLUnit
- Whiley
- Refiner
- Stochastic response of a two DOF articulated tower
- Omola
- MOSES
- OOPM
- KRAKATOA
- How testing helps to diagnose proof failures
- Spec#
- Caduceus
- Frama-C
- Fairness modulo theory: a new approach to LTL software model checking
- Gappa
- cvc3
- Alt-Ergo
- OptiML
- Digital simulation of a rotating shaft with a transverse crack
- Bifurcation and stability analysis for a non-smooth friction oscillator
- SANTE
- PathCrawler
- Assertion-based slicing and slice graphs
- Stepwise refinement of heap-manipulating code in Chalice
- Formal verification of numerical programs: from C annotated programs to mechanical proofs
- Rigorous software development. An introduction to program verification.
- Formal analysis of the compact position reporting algorithm
- BIFPACK
- A relational shape abstract domain
- Verifying Whiley programs with Boogie
- Abstraction and subsumption in modular verification of C programs
- PlusCal
- VeriCool
- HighSpec
- Aligators
- SIL
- Credible autocoding of convex optimization algorithms
- Trusting computations: a mechanized proof from partial differential equations to actual program
- STELLA
- EPK-fix
- Formal verification of side-channel countermeasures using self-composition
- ObjectMath
- Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
- RALib
- Behavioral interface specification languages
- Integrated approach to analysis and verification of imperative programs
- A refinement methodology for object-oriented programs
- Atoment
- TreatJS
- C-Light
- KindSpec
- Comparison of numerical solutions of a one-dimensional non-linear heat equation
- Jessie
- Charge!
- Ultimate
- LTLAutomizer
- FuncTion
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program
- StaDy
- AstraVer
- scientific article; zbMATH DE number 3490443 (Why is no real title available?)
- Advanced Continuous Simulation Language (ACSL)
- AUTOSAR
- scientific article; zbMATH DE number 3589754 (Why is no real title available?)
- Moses: modular modelling of physical systems in an object-oriented database
- scientific article; zbMATH DE number 464910 (Why is no real title available?)
- Nichtlineare Schwingungen mechanischer Strukturen mit Füge‐oder Kontaktstellen
- The elastic system study of the vibrating mill with spatial motions for milling the metallic powders
- A Configurable ACSL-Based Interface Generator for Simulated Systems
- An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation
- Refiner: A Problem-Solving Environment for Scientific Simulator Creation
- Control: a perspective
- Verification conditions for source-level imperative programs
- scientific article; zbMATH DE number 2090884 (Why is no real title available?)
- scientific article; zbMATH DE number 814409 (Why is no real title available?)
- THE USE OF FINITE ELEMENT ELECTROMAGNETICS PACKAGES IN UNDERGRADUATE COURSES
- Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework
- AddressSanitizer
- Experiments in verification of linear model predictive control: automatic generation and formal verification of an interior point method algorithm
- Towards an institutional framework for heterogeneous formal development in UML -- a position paper
- LMS-Verify: abstraction without regret for verified systems programming
- Applying Formal Methods: Testing, Performance, and M/E-Commerce
- KERNELC
- A bond graph model incorporating sensors, actuators, and vehicle dynamics for developing controllers for vehicle safety
- Dynamical behaviour of a friction oscillator with simultaneous self and external excitation.
- SoftBound
- JMLAutoTest
- Whiteoak
- RustBelt
- Modular inference of subprogram contracts for safety checking
- Crack characteristic analysis of multi-fault rotor system based on whirl orbits
- Obstructions to special Lagrangian desingularizations and the Lagrangian prescribed boundary problem
This page was built for software: ACSL
