Formal techniques for distributed objects, components, and systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings /: 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. (2020)

• Record Type: Book
• Other Titles: FORTE 2020
• Further Information: Note: Alexey Gotsman, Ana Sokolova (eds.).
• Editors: Gotsman, Alexey; Sokolova, Ana
• Other Names: FORTE Conference, 40th; International Federated Conferences on Distributed Computing Techniques, 15th
• Contents: Full Papers.- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.- Towards Bridging Time and Causal Reversibility.- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.- Conformance-Based Doping Detection for Cyber-Physical Systems.- On Implementable Timed Automata?.- Deep Statistical Model Checking.- Trace Equivalence and Epistemic Logic to Express Security Properties.- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns.- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.- A Formal Framework for Consent Management.- Tutorials.- Tutorial: Parameterized Verification with Byzantine Model Checker.- Typechecking Java Protocols with [St]Mungo.- Short Paper.- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2020
• Extent: 1 online resource (xii, 237 pages), illustrations (some color)
• Subjects: 004.36; Electronic data processing -- Distributed processing -- Congresses; Formal methods (Computer science) -- Congresses; Computer network protocols -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030500863; 3030500861
• Related ISBNs: 9783030500856
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed June 29, 2020).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.