Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
12
views
37
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,946
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Is Open Access
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton
other
Author(s):
Jan Křetínský
,
Tobias Meggendorfer
,
Salomon Sickert
,
Christopher Ziegler
Publication date
(Online):
July 18 2018
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Download
XML
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
UCL: UN SDG 04 Quality Education
Most cited references
37
Record
: found
Abstract
: not found
Conference Proceedings
: not found
The temporal logic of programs
Amir Pnueli
(1977)
0
comments
Cited
393
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
PRISM 4.0: Verification of Probabilistic Real-Time Systems
Marta Kwiatkowska
,
Gethin Norman
,
David Parker
(2011)
0
comments
Cited
58
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Spot 2.0 — A Framework for LTL and \(\omega \) -Automata Manipulation
Alexandre Duret-Lutz
,
Alexandre Lewkowicz
,
Amaury Fauchille
…
(2016)
0
comments
Cited
36
times
– based on
0
reviews
Bookmark
All references
Author and book information
Contributors
Tobias Meggendorfer:
(View ORCID Profile)
Salomon Sickert:
(View ORCID Profile)
Book Chapter
Publication date (Print):
2018
Publication date (Online):
July 18 2018
Pages
: 567-577
DOI:
10.1007/978-3-319-96145-3_30
SO-VID:
39ab25af-b10b-408d-aa83-fb84c81222cc
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 38
Formal Reasoning About the Security of Amazon Web Services
pp. 567
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton
pp. 51
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts
Similar content
2,946
Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints
Authors:
Minyoung Jung
,
Bernd Burgstaller
,
Johann Blieberger
Read all about your favourite health apps and ideas
Authors:
Favourite Prescriptions
Authors:
See all similar
Cited by
1
Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates
Authors:
Bhaskar Ramasubramanian
,
Luyao Niu
,
Andrew Clark
…
See all cited by