Logical reasoning for disjoint permissions
10.1007/978-3-319-89884-1_14
Saved in:
Main Authors: | Le X.-B., Hobor A. |
---|---|
Other Authors: | YALE-NUS COLLEGE |
Format: | Conference or Workshop Item |
Published: |
Springer Verlag
2020
|
Subjects: | |
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/175138 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY
by: LE XUAN BACH
Published: (2017) -
Verification of static and dynamic barrier synchronization using bounded permissions
by: Le, D.-K., et al.
Published: (2014) -
Barriers in concurrent separation logic: Now with tool support!
by: Hobor, A., et al.
Published: (2013) -
A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS
by: MIRELA ANDREEA COSTEA
Published: (2018) -
FORMAL VERIFICATION-BASED PROGRAM REPAIR
by: NGUYEN THANH TOAN
Published: (2022)