Making abstract models complete (Q5741575)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 6607290

Language	Label	Description	Also known as
English	Making abstract models complete	scientific article; zbMATH DE number 6607290

Statements

scholarly article

0 references

Making abstract models complete (English)

0 references

Roberto Giacobazzi

0 references

Isabella Mastroeni

0 references

Mathematical Structures in Computer Science

0 references

publication date

28 July 2016

0 references

MaRDI profile type

MaRDI publication profile

0 references

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

0 references

Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions

0 references

Counterexample-guided abstraction refinement for symbolic model checking

0 references

Making abstract interpretations complete

0 references

Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements

0 references

Refining and compressing abstract domains

0 references

Transforming Abstract Interpretations by Abstract Interpretation

0 references

0 references

The closure operators of a lattice

0 references

A semantics-based approach to malware detection

0 references

Fixpoint-Guided Abstraction Refinements

0 references

0 references

Abstract Interpretation Frameworks

0 references

Constructive versions of Tarski's fixed point theorems

0 references

Identifiers

zbMATH Open document ID

0 references

10.1017/S0960129514000358

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5741575

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