Back to Results
First PageMeta Content
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

Document Date: 2018-08-02 04:06:51


Open Document

File Size: 436,74 KB

Share Result on Facebook
UPDATE