Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions.
Duy-Khanh LeWei-Ngan ChinYong Meng TeoPublished in: ICFEM (2013)
Keyphrases
- model checking
- access control
- chaotic systems
- concurrent systems
- databases
- phase locked
- role based access control
- formal verification
- case study
- decision trees
- artificial neural networks
- information systems
- computer vision
- temporal logic
- formal methods
- privacy policies
- artificial intelligence
- machine learning
- real world
- neural network
- data sets