On Using Results of Code-level Bounded Model Checking in Assurance Cases Carmen Cˆ arlan, Daniel Ratiu, and Bernhard Sch¨atz fortiss GmbH, Munich, email: Siemens CT, Munich, email: daniel.ratiu@sieme

First Page		Document Content
Date: 2018-08-02 04:06:51 Formal methods Theoretical computer science Software engineering Systems engineering Software testing Quality Software quality Software verification and validation Formal verification Functional verification Model checking Verification and validation		On Using Results of Code-level Bounded Model Checking in Assurance Cases Carmen Cˆ arlan, Daniel Ratiu, and Bernhard Sch¨atz fortiss GmbH, Munich, email: Siemens CT, Munich, email: daniel.ratiu@sieme Add to Reading List Source URL: mbeddr.com Download Document from Source Website File Size: 436,74 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