CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897503
DOI10.1007/11539452zbMATH Open1134.68343OpenAlexW1737342522MaRDI QIDQ5897503FDOQ5897503
Authors: Aaron R. Bradley, Zohar Manna, Henny B. Sipma 
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11539452
Recommendations
- TERMINATION ANALYSIS OF LINEAR LOOPS
- On termination of integer linear loops
- Termination analysis of linear loop programs
- Termination of linear loops over the integers
- On the termination of integer loops
- scientific article; zbMATH DE number 6401180
- Automated Technology for Verification and Analysis
- Reflections on termination of linear loops
- Symbolic termination analysis of solvable loops
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (20)
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
- TERMINATION ANALYSIS OF LINEAR LOOPS
- Lower-bound synthesis using loop specialization and Max-SMT
- Algebraic model checking for discrete linear dynamical systems
- Non-termination Sets of Simple Linear Loops
- Automatic verification of counter systems with ranking function
- Ranking functions for linear-constraint loops
- Programs with lists are counter automata
- On the termination of integer loops
- Convergence: integrating termination and abort-freedom
- Title not available (Why is that?)
- Taming the Wrapping of Integer Arithmetic
- Proving termination of nonlinear command sequences
- Loop Summarization and Termination Analysis
- Ranking function synthesis for bit-vector relations
- Recent advances in program verification through computer algebra
- Automated Technology for Verification and Analysis
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods
- What's decidable about discrete linear dynamical systems?
- Title not available (Why is that?)
This page was built for publication: CONCUR 2005 – Concurrency Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897503)
