FACT : A Probabilistic Model Checker for Formal Verification with Confidence Intervals

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Johnson, Kenneth Harold Anthony and Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 (2016) FACT : A Probabilistic Model Checker for Formal Verification with Confidence Intervals. In: Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Lecture Notes in Computer Science (LNCS) . Springer Berlin / Heidelberg , pp. 540-546.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © Springer-Verlag Berlin Heidelberg, 2016. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Dates:
  • Published: 2016
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 09 Dec 2016 10:47
Last Modified: 09 Jun 2021 23:55
Status: Published
Publisher: Springer Berlin / Heidelberg
Series Name: Lecture Notes in Computer Science (LNCS)
Refereed: No
Related URLs:

Download

Filename: tacas2016_camera_ready.pdf

Description: tacas2016-camera-ready

Share / Export