Model checking information flow in reactive systems

Dimitrova, R., Finkbeiner, B., Kovacs, M. et al. (2 more authors) (2012) Model checking information flow in reactive systems. In: Kuncak, V. and Rybalchenko, A., (eds.) Verification, Model Checking, and Abstract Interpretation (VMCAI 2012). Verification, Model Checking, and Abstract Interpretation - VMCAI 2012, 22-24 Jan 2012, Philadelphia, PA, USA. Lecture Notes in Computer Science (7148). Springer , pp. 169-185. ISBN 9783642279393

Abstract

Metadata

Authors/Creators:
  • Dimitrova, R.
  • Finkbeiner, B.
  • Kovacs, M.
  • Rabe, M.N.
  • Seidl, H.
Copyright, Publisher and Additional Information: © 2012 Springer-Verlag. This is an author-produced version of a paper subsequently published in VMCAI 2012 Proceedings. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 22 January 2012
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 07 Feb 2020 13:51
Last Modified: 11 Feb 2020 08:59
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-642-27940-9_12

Share / Export

Statistics