Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stefan Heule
Verification Condition Generation for Permission Logics With Abstract Predicates and Abstraction Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
VeriAbs: Verification by Abstraction and Test Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Communication Predicates: A High-Level Abstraction for Coping With Transient and Dynamic Faults
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Banzhaf Permission Values for Games With a Permission Structure
Verification, Model Checking and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science