Extraction of Abstraction Invariants for Data Refinement

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-45648-1_7

Full Text

Abstract

Available in

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 2002

Authors

Publisher

Springer Berlin Heidelberg

Related search

Mind the Shapes: Abstraction Refinement via Topology Invariants

English

Monotonic Abstraction-Refinement for CTL

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

On Abstraction Refinement for Program Analyses in Datalog

English

Interference Analysis for Dependable Systems Using Refinement and Abstraction

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

English

Solving Games via Three-Valued Abstraction Refinement

Information and Computation

Theoretical Computer Science

Computational Theory

Computer Science Applications

Information Systems

English

Automated Assume-Guarantee Reasoning by Abstraction Refinement

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Learning by Ng: Systematic Abstraction Refinement for Hybrid Control Synthesis

IEE Proceedings - Control Theory and Applications

English