The following pages link to ACSL (Q16399):
Displaying 49 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Control: a perspective (Q463779) (← links)
- Verification conditions for source-level imperative programs (Q465685) (← links)
- Modular inference of subprogram contracts for safety checking (Q604392) (← links)
- Crack characteristic analysis of multi-fault rotor system based on whirl orbits (Q783336) (← links)
- Obstructions to special Lagrangian desingularizations and the Lagrangian prescribed boundary problem (Q860163) (← links)
- SIL - a simulation language. User's guide (Q1188667) (← links)
- A continuous-system simulation language designed for LSI economics (Q1250720) (← links)
- Stochastic response of a two DOF articulated tower (Q1370809) (← links)
- How testing helps to diagnose proof failures (Q1624590) (← links)
- Fairness modulo theory: a new approach to LTL software model checking (Q1702910) (← links)
- Digital simulation of a rotating shaft with a transverse crack (Q1900574) (← links)
- Bifurcation and stability analysis for a non-smooth friction oscillator (Q1912041) (← links)
- Assertion-based slicing and slice graphs (Q1941855) (← links)
- Stepwise refinement of heap-manipulating code in Chalice (Q1941869) (← links)
- Formal verification of numerical programs: from C annotated programs to mechanical proofs (Q1949765) (← links)
- Rigorous software development. An introduction to program verification. (Q1960262) (← links)
- Formal analysis of the compact position reporting algorithm (Q1996426) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Abstraction and subsumption in modular verification of C programs (Q2147702) (← links)
- Credible autocoding of convex optimization algorithms (Q2358081) (← links)
- Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899) (← links)
- Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
- Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach (Q2802468) (← links)
- Behavioral interface specification languages (Q2875082) (← links)
- (Q2979818) (← links)
- A Refinement Methodology for Object-Oriented Programs (Q3067544) (← links)
- Comparison of numerical solutions of a one-dimensional non-linear heat equation (Q3357479) (← links)
- (Q4072823) (← links)
- Advanced Continuous Simulation Language (ACSL) (Q4082271) (← links)
- (Q4157976) (← links)
- Moses: modular modelling of physical systems in an object-oriented database (Q4235709) (← links)
- (Q4271472) (← links)
- Nichtlineare Schwingungen mechanischer Strukturen mit Füge‐oder Kontaktstellen (Q4311015) (← links)
- The elastic system study of the vibrating mill with spatial motions for milling the metallic powders (Q4378446) (← links)
- A Configurable ACSL-Based Interface Generator for Simulated Systems (Q4420093) (← links)
- An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation (Q4446673) (← links)
- Refiner: A Problem-Solving Environment for Scientific Simulator Creation (Q4456573) (← links)
- (Q4813446) (← links)
- (Q4855116) (← links)
- THE USE OF FINITE ELEMENT ELECTROMAGNETICS PACKAGES IN UNDERGRADUATE COURSES (Q4891596) (← links)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
- Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm (Q5222962) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
- LMS-Verify: abstraction without regret for verified systems programming (Q5370919) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394041) (← links)
- A bond graph model incorporating sensors, actuators, and vehicle dynamics for developing controllers for vehicle safety (Q5931358) (← links)
- Dynamical behaviour of a friction oscillator with simultaneous self and external excitation. (Q5955782) (← links)
