Skip to search formSkip to main contentSkip to account menu

Abstract interpretation

Known as: Abstract reduction 
In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abstract machineAbstraction (software engineering)Astrée (static analysis)CPAchecker

Broader (1)

Program analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Effective abstractions for verification under relaxed memory models
2012
2012
Context-based scene recognition from visual data in smart homes: an Information Fusion approach
Ambient Intelligence (AmI) aims at the development of computational systems that process data acquired by sensors embedded in the… 
2012
2012
Abstract reduction in directed model checking CCS processes
Model checking tools face a combinatorial blow up of the state-space (commonly known as the state explosion problem) that must be… 
2012
2012
Non-invasive Power Simulation at System-Level with SystemC
Due to the increasing algorithmic complexity of today’s embedded systems, consideration of extra-functional properties becomes… 
2007
2007
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel
SCADE (Safety Critical Application Design Environment) is a design environment dedicated to safety-critical embedded software… 
Highly Cited
1995
Highly Cited
1995
Optimality in Abstractions of Model Checking
This paper investigates the use of abstract-interpretationinspired techniques for improving the performance of procedures for… 
Review
1994
Review
1994
Abstract interpretation of reactive systems : abstractions preserving ..
interpretation of reactive systems : abstractions preserving $\forall$CTL*, $\exists$CTL* and CTL* Citation for published version… 
1994
1994
Processing local and unbounded dependencies: A unified account
This paper proposes an account of incremental sentence processing and the initial stage of syntactic ambiguity resolution, based… 
1991
1991
On identification of stable systems and optimal approximation
  • P. Mäkilä
  • at - Automatisierungstechnik
  • 1991
  • Corpus ID: 12645333
1974
1974
Film as a Subversive Art
EXT. WASHINGTON SQUARE PARK, NEW YORK AMOS VOGEL You know, there’s something I call visual sensibility. A sensibility for form… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)