Personal Information
Organization / Workplace
Bangkok, Thailand
Occupation
MSc in Computer Science (Algorithm / Language / Logic)
Industry
Technology / Software / Internet
About
Working on loop invariants using formal methods tools.
Tags
student presentation
subtype
types
first-order theorem prover
array theory
vampire
loop invariants
See more
- Presentations
- Documents
- Infographics