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

	University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ DocID: 1xV2p - View Document
	RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering DocID: 1xUZO - View Document
	Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f DocID: 1xUnB - View Document
	A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst, DocID: 1xUbX - View Document