On Abstraction Refinement for Program Analyses in Datalog

doi 10.1145/2594291.2594327

Full Text

Abstract

Available in

Date

Authors

Publisher

ACM Press

Related search

Monotonic Abstraction-Refinement for CTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Extraction of Abstraction Invariants for Data Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Interference Analysis for Dependable Systems Using Refinement and Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

English

Solving Games via Three-Valued Abstraction Refinement

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

Automated Assume-Guarantee Reasoning by Abstraction Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Learning by Ng: Systematic Abstraction Refinement for Hybrid Control Synthesis

IEE Proceedings - Control Theory and Applications
2006English

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy