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

	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
	Automated Testing with openQA DocID: 1rsux - View Document
	International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification June 28-30, 2016 Espace du Centenaire, Maison de la RATP Paris, France DocID: 1rpW9 - View Document
	Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned Lionel Briand IEEE Fellow, FNR PEARL Chair Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT) DocID: 1rfid - View Document
	NSQ-160 Version 0 JuneCORRESPONDENCE MATRIX NSQ-100 vs 10 CFR 50 Appendix B DocID: 1rdal - View Document