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

Research Output 2000 2018

Filter
Chapter
2018
6 Downloads (Pure)

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
3 Downloads (Pure)

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
4 Downloads (Pure)

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