Mind the Shapes: Abstraction Refinement via Topology Invariants

doi 10.1007/978-3-540-75596-8_5
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Extraction of Abstraction Invariants for Data Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Solving Games via Three-Valued Abstraction Refinement

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

Monotonic Abstraction-Refinement for CTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Automated Assume-Guarantee Reasoning by Abstraction Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

On Abstraction Refinement for Program Analyses in Datalog

2013English

Interference Analysis for Dependable Systems Using Refinement and Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Mind the Map: Technology Shapes the Myeloid Cell Space

Frontiers in Immunology
AllergyImmunology
2019English

Slow Abstraction via Priority

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy