DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY
Ph.D
Saved in:
Main Author: | LE XUAN BACH |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2017
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/138215 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Language: | English |
Similar Items
-
Logical reasoning for disjoint permissions
by: Le X.-B., et al.
Published: (2020) -
Verification of static and dynamic barrier synchronization using bounded permissions
by: Le, D.-K., et al.
Published: (2014) -
Variable permissions for concurrency verification
by: Le, D.-K., et al.
Published: (2013) -
Certified Reasoning for Automated Verification
by: ASANKHAYA SHARMA
Published: (2015) -
From verification to specification inference
by: Chin, W.-N., et al.
Published: (2013)