ACSL

swMATH4216MaRDI QIDQ16399FDOQ16399

Author name not available (Why is that?)

Cited In (49)

• A Configurable ACSL-Based Interface Generator for Simulated Systems
• LMS-Verify: abstraction without regret for verified systems programming
• Verifying Whiley programs with Boogie
• A continuous-system simulation language designed for LSI economics
• Formal verification of side-channel countermeasures using self-composition
• A Refinement Methodology for Object-Oriented Programs
• Formal analysis of the compact position reporting algorithm
• Comparison of numerical solutions of a one-dimensional non-linear heat equation
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation
• 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
• Title not available (Why is that?)
• Refiner: A Problem-Solving Environment for Scientific Simulator Creation
• Modular inference of subprogram contracts for safety checking
• Behavioral interface specification languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Control: a perspective
• Credible autocoding of convex optimization algorithms
• Title not available (Why is that?)
• Rigorous software development. An introduction to program verification.
• Trusting computations: a mechanized proof from partial differential equations to actual program
• Title not available (Why is that?)
• Verification conditions for source-level imperative programs
• Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework
• Bifurcation and stability analysis for a non-smooth friction oscillator
• THE USE OF FINITE ELEMENT ELECTROMAGNETICS PACKAGES IN UNDERGRADUATE COURSES
• Stepwise refinement of heap-manipulating code in Chalice
• A relational shape abstract domain
• SIL - a simulation language. User's guide
• Wave equation numerical resolution: a comprehensive mechanized proof of a C program
• Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
• Crack characteristic analysis of multi-fault rotor system based on whirl orbits
• Abstraction and subsumption in modular verification of C programs
• 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
• 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
• Title not available (Why is that?)
• Stochastic response of a two DOF articulated tower
• Formal verification of numerical programs: from C annotated programs to mechanical proofs
• Digital simulation of a rotating shaft with a transverse crack

This page was built for software: ACSL