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