Automatically refining partial specifications for program verification
10.1007/978-3-642-21437-0_28
Saved in:
Main Authors: | Qin, S., Luo, C., Chin, W.-N., He, G. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40285 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Automatically refining partial specifications for heap-manipulating programs
by: Qin, S., et al.
Published: (2014) -
Expressive program verification via structured specifications
by: Gherghina, C., et al.
Published: (2016) -
Structured specifications for better verification of heap-manipulating programs
by: Gherghina, C., et al.
Published: (2013) -
Automatic verification of multi-threaded programs by inference of rely-guarantee specifications
by: LE, Xuan-Bach, et al.
Published: (2020) -
From verification to specification inference
by: Chin, W.-N., et al.
Published: (2013)