Dilian Gurov’s CV Professional preparation   PhD in Computer Science, 1998, Dept. of Computer Science, University of Victoria, Canada.

First Page		Document Content
Date: 2017-10-31 10:32:18 Software testing Software verification KTH Royal Institute of Technology Computer science Verification Electromagnetism Engineering		Dilian Gurov’s CV Professional preparation   PhD in Computer Science, 1998, Dept. of Computer Science, University of Victoria, Canada. Add to Reading List Source URL: www.nada.kth.se Download Document from Source Website File Size: 68,65 KB Share Document on Facebook

	Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University DocID: 1xVXp - View Document
	Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper: DocID: 1xVNl - View Document
	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce DocID: 1xVM2 - View Document
	Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive DocID: 1xVIA - View Document
	24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨ DocID: 1xVIg - View Document