Q5866353 (Q5866353): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 04:01, 30 July 2024

scientific article; zbMATH DE number 7589540

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7589540

Statements

scholarly article

0 references

Dmitriĭ Aleksandrovich Mordvinov

0 references

publication date

21 September 2022

0 references

full work available at URL

http://mathnet.ru/eng/mais697

0 references

zbMATH Keywords

relational verification

0 references

constrained Horn clauses

0 references

property-directed reachability

0 references

relational invariants

0 references

describes a project that uses

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

Generalized Property Directed Reachability

0 references

Infinite-state invariant checking with IC3 and predicate abstraction

0 references

SMT-based model checking for recursive programs

0 references

HoIce: an ICE-based non-linear Horn clause solver

0 references

Relational program reasoning using compiler IR

0 references

Relational verification through Horn clause transformation

0 references

Synchronizing Constrained Horn Clauses

0 references

Program invariants as fixedpoints

0 references

SAT-Based Model Checking without Unrolling

0 references

Regression verification for unbalanced recursive functions

0 references

Exploiting synchrony and symmetry in relational verification

0 references

Identifiers

zbMATH Open document ID

0 references

10.18255/1818-1015-550-571

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5866353

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5866353&oldid=36854637"