Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
51
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
2,401
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
2,401
The Effect of Formal Robotic Residency Training on the Adoption of Minimally Invasive Surgery by Young Colorectal Surgeons
Authors:
David Disbrow
,
Stephanie M. Pannell
,
Beth-Ann Shanker
…
Factors impacting the access and use of formal health and social services by caregivers of stroke survivors: an interpretive description study
Authors:
Anna Garnett
,
Jenny Ploeg
,
Maureen Markle-Reid
…
Derivation of delay equation climate models using the Mori-Zwanzig formalism
Authors:
Swinda K. J. Falkena
,
Courtney Quinn
,
Jan Sieber
…
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
