![Systems science / Systems engineering / Software engineering / Formal methods / Systems theory / Theoretical computer science / Model checkers / Software quality / Model checking / PRISM model checker / Reliability engineering / Formal verification Systems science / Systems engineering / Software engineering / Formal methods / Systems theory / Theoretical computer science / Model checkers / Software quality / Model checking / PRISM model checker / Reliability engineering / Formal verification](https://www.pdfsearch.io/img/c18a4efa959ecaabbc86dd8e420aa98d.jpg) Date: 2014-08-21 17:03:14Systems science Systems engineering Software engineering Formal methods Systems theory Theoretical computer science Model checkers Software quality Model checking PRISM model checker Reliability engineering Formal verification | | Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System EngineeriAdd to Reading ListSource URL: www.prismmodelchecker.orgDownload Document from Source Website File Size: 1,56 MBShare Document on Facebook
|