Generating invariants for non-linear loops by linear algebraic methods
type: Item
instance of: scholarly article
title: Generating invariants for non-linear loops by linear algebraic methods
zbMATH Open document ID: 1347.68093
author: Rachid Rebiha
author: Arnaldo Vieira Moura
author: Nadir Matringe
published in: Formal Aspects of Computing
publication date: 2016-01-06T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 6526761
zbMATH Keywords: formal methods
zbMATH Keywords: invariant generation
zbMATH Keywords: linear algebra
describes a project that uses: SageMath
MaRDI profile type: Publication
full work available at URL: s00165-015-0333-3
OpenAlex ID: W1994657885
cites work: Lagrange resolvents
cites work: Q2722048
cites work: Q4385444
cites work: Abstract interpretation and application to logic programs
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Generating Polynomial Invariants with DISCOVERER and QEPCAD
cites work: Q4144755
cites work: A new efficient algorithm for computing Gröbner bases \((F_4)\)
cites work: Q5584402
cites work: Programming Languages and Systems
cites work: Constraint-Based Approach for Analysis of Hybrid Systems
cites work: An axiomatic basis for computer programming
cites work: SAGE
cites work: Reasoning Algebraically About P-Solvable Loops
cites work: Q2770573
cites work: Q4411947
cites work: Temporal Verification of Reactive Systems: Response
cites work: Computing Differential Invariants of Hybrid Systems as Fixedpoints
cites work: Hybrid Systems: Computation and Control
cites work: Automatic generation of polynomial invariants of bounded degree using abstract interpretation
cites work: Generating all polynomial invariants in simple loops
cites work: Endomorphisms for Non-trivial Non-linear Loop Invariant Generation
cites work: Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
cites work: Q3818127
cites work: Non-linear loop invariant generation using Gröbner bases
cites work: Generating Box Invariants
cites work: Quantifier elimination for real algebra -- the quadratic case and beyond
DOI: 10.1007/S00165-015-0333-3
description: scientific article; zbMATH DE number 6526761