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

Research Output 2000 2019

Filter
Chapter
2013
11 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
13 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