Font Size:
a
A
A
Keyword [separation logic]
Result: 1 - 12 | Page: 1 of 1
1.
Verification Of Low-level Concurrent Code With Several Synchronization Mechanisms
2.
Verifying Parallel Programs Using Software Transactional Memory
3.
Models And Formalization Of Concurrent Real-time Systems
4.
On The Discretization And Formalization Of SLDDS Problems
5.
An Automatic Program Verification Tool For Pointerc: Design And Implemetation
6.
Verification Of μC/OS-Ⅲ Task Scheduler
7.
Practical Tactics For Verifying C Programs In Coq
8.
Research On Spatio-Temporal Logic PPTL
SL
And Its Applications
9.
Pointer analysis and separation logic
10.
Type-Intertwined Separation Logic
11.
Reasoning About Concurrent Programs Under Cloud Storage Systems
12.
Design,Implementation And Formal Verification Of Packet Classifier And Protocol Proxy Of Mimic Routers
<<First
<Prev Next>
Last>>
Jump to
