Refining Approximations in Software Predicate Abstraction

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-24730-2_30
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Efficient Weighted Model Integration via SMT-Based Predicate Abstraction

2017English

Towards Abstraction and Automation in Software Engineering

The Winnower
2014English

A Simulation Approach to Predicate the Reliability of a Pervasive Software System

2018English

AirNet: An Edge-Fabric Abstraction Model to Manage Software-Defined Networks

International Journal of Network Management
Computer NetworksComputer Science ApplicationsCommunications
2017English

MPI as an Abstraction for Software-Hardware Interaction for HPRCs

2008English

Predicate Clefting in Kisi

Annual Meeting of the Berkeley Linguistics Society
1997English

Software Engineering Data Analytics: A Framework Based on a Multi-Layered Abstraction Mechanism

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2019English

Formal Predicate Calculus

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy