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
45
views
0
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,512
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Formal Methods
other
Editor(s):
Klaus Havelund
,
Jan Peleska
,
Bill Roscoe
,
Erik de Vink
Publication date
(Print):
2018
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
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
NeuroImaging Methods
Author and book information
Book
ISBN (Print):
978-3-319-95581-0
ISBN (Electronic):
978-3-319-95582-7
Publication date (Print):
2018
DOI:
10.1007/978-3-319-95582-7
SO-VID:
d1c8c60d-b14f-48ff-bf9b-988e4f6224c4
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Processing Text for Privacy: An Information Flow Perspective
pp. 22
20 Years of Real Real Time Model Validation
pp. 39
Deadlock Detection for Actor-Based Coroutines
pp. 55
An Algebraic Approach for Reasoning About Information Flow
pp. 73
Towards ‘Verifying’ a Water Treatment System
pp. 93
FSM Inference from Long Traces
pp. 110
A Weakness Measure for GR(1) Formulae
pp. 129
Producing Explanations for Rich Logics
pp. 147
The Compound Interest in Relaxing Punctuality
pp. 165
IPL: An Integration Property Language for Multi-model Cyber-physical Systems
pp. 185
Timed Epistemic Knowledge Bases for Social Networks
pp. 203
Optimal and Robust Controller Synthesis
pp. 222
Encoding Fairness in a Synchronous Concurrent Program Algebra
pp. 240
A Wide-Spectrum Language for Verification of Programs on Weak Memory Models
pp. 258
Operational Semantics of a Weak Memory Model with Channel Synchronization
pp. 277
Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE
pp. 294
Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods
pp. 312
Verifying Auto-generated C Code from Simulink
pp. 329
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems
pp. 338
Modular Verification of Programs with Effects and Effect Handlers in Coq
pp. 355
Combining Tools for Optimization and Analysis of Floating-Point Computations
pp. 364
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm
pp. 382
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations
pp. 399
Multi-robot LTL Planning Under Uncertainty
pp. 418
Vector Barrier Certificates and Comparison Systems
pp. 438
Timed Vacuity
pp. 466
Dynamic Symbolic Verification of MPI Programs
pp. 485
To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation
pp. 505
View Abstraction for Systems with Component Identities
pp. 523
Compositional Reasoning for Shared-Variable Concurrent Programs
pp. 542
Statistical Model Checking of LLVM Code
pp. 550
SDN-Actors: Modeling and Verification of SDN Programs
pp. 568
CompoSAT: Specification-Guided Coverage for Model Finding
pp. 588
Approximate Partial Order Reduction
pp. 608
A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks
pp. 625
Formal Specification and Verification of Dynamic Parametrized Architectures
pp. 647
From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems
pp. 653
Interlocking Design Automation Using Prover Trident
pp. 657
Model-Based Testing for Avionics Systems
pp. 662
On Software Safety, Security, and Abstract Interpretation
pp. 666
Variant Analysis with QL
pp. 671
Object-Oriented Security Proofs
pp. 675
Z3 and SMT in Industrial R&D
pp. 679
Evidential and Continuous Integration of Software Verification Tools
pp. 686
Disruptive Innovations for the Development and the Deployment of Fault-Free Software
Similar content
1,512
Formal home-care utilisation by older adults in Ireland: evidence from the Irish Longitudinal Study on Ageing (TILDA).
Authors:
Catriona M. Murphy
,
Brendan J Whelan
,
Charles Normand
Reversal of Selectivity in C3-Allylation and Formal [3 + 2]-Cycloaddition of Spiro-epoxyoxindole: Unified Synthesis of Spiro-furanooxindole, (±)-N-Methylcoerulescine, (±)-Physovenine, and 3a-Allylhexahydropyrrolo[2,3-b]indole.
Authors:
Saumen Hajra
,
Sayan Basu Roy
,
Subrata Maity
Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
Authors:
Colin Shea-Blymyer
,
Houssam Abbas
See all similar
Cited by
3
Architecture specification of parametric component-based systems
Authors:
Maria Pittou
,
George Rahonis
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development
Authors:
Philipp Berger
,
Johanna Nellen
,
Joost-Pieter Katoen
…
Correctness of Concurrent Objects under Weak Memory Models
Authors:
Graeme Smith
,
Kirsten Winter
,
Robert Colvin
See all cited by