Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014

First Page		Document Content
Date: 2014-12-09 08:27:27 Software testing Hardware verification languages Electronic engineering Verification Model checking Software verification KTH Royal Institute of Technology E Functional verification Formal methods		Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014 Add to Reading List Source URL: www.nada.kth.se Download Document from Source Website File Size: 411,66 KB Share Document on Facebook

	FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF DocID: 1xUHu - View Document
	2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC DocID: 1vl2i - View Document
	Temporal Verification of Higher-Order Functional Programs Akihiro Murase ∗ Tachio Terauchi Naoki Kobayashi DocID: 1uVQK - View Document
	Exploration of Novel Nitride Semiconductors by In Silico Screening and Experimental Verification Fumiyasu Oba and Hidenori Hiramatsu: IIR and MCES, Tokyo Tech The exploration of novel functional materials is increasingly DocID: 1urGN - View Document
	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio DocID: 1tMUk - View Document