ARMC
From MaRDI portal
Software:17099
No author found.
Related Items (24)
Automatically proving termination and memory safety for programs with pointer arithmetic ⋮ Summarization for termination: No return! ⋮ Constraint solving for interpolation ⋮ Proving correctness of imperative programs by linearizing constrained Horn clauses ⋮ Unnamed Item ⋮ Loop Summarization and Termination Analysis ⋮ Model checking duration calculus: a practical approach ⋮ Proving Termination Through Conditional Termination ⋮ Ranking Function Synthesis for Bit-Vector Relations ⋮ Horn clause verification with convex polyhedral abstraction and tree automata-based refinement ⋮ Loop summarization using state and transition invariants ⋮ Ranking function synthesis for bit-vector relations ⋮ Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL ⋮ Non-monotonic Refinement of Control Abstraction for Concurrent Programs ⋮ Quantitative separation logic and programs with lists ⋮ Slicing Concurrent Real-Time System Specifications for Verification ⋮ Automatically Refining Abstract Interpretations ⋮ Distributed and Predictable Software Model Checking ⋮ Shortest Paths in One-Counter Systems ⋮ Abstraction Refinement for Quantified Array Assertions ⋮ Refining abstract interpretations ⋮ Specialization with Constrained Generalization for Software Model Checking ⋮ Automatic Verification of Combined Specifications: An Overview ⋮ Software Model Checking by Program Specialization
This page was built for software: ARMC
