If you made any changes in Pure these will be visible here soon.

Research Output 2000 2018

Filter
Chapter
2018

Automated Modular Verification for Relaxed Communication Protocols

Costea, A., Chin, W., Qin, S. & Craciun, F., 22 Oct 2018, Asian Symposium on Programming Languages and Systems. Springer Verlag, p. 284-305 Chapter 16. (Programming Languages and Systems; vol. 11275).

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Open Access
File
Network protocols
Data storage equipment
Communication
2013

Automated Specification Discovery via User-Defined Predicates

He, G., Qin, S., Chin, W-N. & Craciun, F., 2013, Lecture Notes in Computer Science . Vol. 8144. p. 397-414 Chapter 26. (Formal Methods and Software Engineering; vol. 8144).

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

File
Data structures
Specifications
Data storage equipment
Experiments
2010

Verifying Heap-Manipulating Programs with Unknown Procedure Calls

Qin, S., Luo, C., He, G., Craciun, F. & Chin, W., 17 Nov 2010, Formal Methods and Software Engineering. Springer Verlag, p. 171-187 Chapter 13. (Formal Methods and Software Engineering; vol. 6447).

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

File
Data structures
Positive ions