Symbolic Reachability Analysis of B Through ProB and LTSmin

First Author: Bendisposto J
Attributed to:  VOTEE: Voting on Trusted Execution Environments funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-33693-0_18

Publication URI: http://dx.doi.org/10.1007/978-3-319-33693-0_18

Type: Book Chapter

Book Title: Integrated Formal Methods (2016)

Page Reference: 275-291

ISSN: 2662-9399