Verification Condition Generation for Permission Logics With Abstract Predicates and Abstraction Functions

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-39038-8_19
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

VeriAbs: Verification by Abstraction and Test Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Communication Predicates: A High-Level Abstraction for Coping With Transient and Dynamic Faults

2007English

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2013English

Banzhaf Permission Values for Games With a Permission Structure

2003English

Verification, Model Checking and Abstract Interpretation

1997English

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Formal Verification of Programs for Abstract Register Machines

Bulletin of the Novosibirsk Computing Center. Series:Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy