rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Formal Methods
    sub title: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
  name:
    name part: Chechik, Marsha.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Katoen, Joost-Pieter.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Leucker, Martin.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: sz
    date issued: 2023
    edition: 1st ed. 2023.
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (XVI, 659 pages 1230 illustrations, 132 illustrations in color)
  abstract: This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. .
  table of contents: Keynotes -- Symbolic Computation in Automated Program Reasoning -- The next big thing: from embedded systems to embodied actors -- Intelligent and Dependable Decision-Making Under Uncertainty -- A Coq formalization of Lebesgue Induction Principle and Tonelli's Theorem -- SAT/SMT -- Railway Scheduling Using Boolean Satisfiability Modulo Simulations -- SMT Sampling via Model-Guided Approximation -- Efficient SMT-based Network Fault Tolerance Verification -- Verification I -- Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems -- Can we Communicate? Using Dynamic Logic to Verify Team Automata -- The ScalaFix equation solver -- HHLPy: Practical Verification of Hybrid Systems using Hoare Logic -- Quantitative Verification -- symQV: Automated Symbolic Verification of Quantum Programs -- PFL: a Probabilistic Logic for Fault Trees -- Energy Buechi Problems -- QMaude: quantitative specification and verification in rewriting logic -- Concurrency and Memory Models -- Minimisation of Spatial Models using Branching Bisimilarity -- Reasoning about Promises in Weak Memory Models with Event Structures -- A fine-grained semantics for arrays and pointers under weak memory models -- VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs -- Verification 2 -- Verifying At the Level of Java Bytecode -- Abstract Alloy Instances -- Monitoring the Internet Computer -- Word Equations in Synergy with Regular Constraints -- Formal Methods in AI -- Verifying Feedforward Neural Networks for Classification in Isabelle/HOL -- SMPT: A Testbed for Reachabilty Methods in Generalized Petri Nets -- The Octatope Abstract Domain for Verification of Neural Networks -- Program Semantics and Verification Technique for AI-centred Programs -- Safety and Reliability -- Tableaux for Realizability of Safety Specifications -- A Decision Diagram Operation for Reachability -- Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicl…
  note: edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker.
  subject:
    topic: Software engineering
  subject:
    topic: Computer science
  subject:
    topic: Computers, Special purpose
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Microprogramming
  subject:
    topic: Natural language processing (Computer science)
  subject:
    topic: Software Engineering
  subject:
    topic: Computer Science Logic and Foundations of Programming
  subject:
    topic: Special Purpose and Application-Based Systems
  subject:
    topic: Programming Language
  subject:
    topic: Control Structures and Microprogramming
  subject:
    topic: Natural Language Processing (NLP)
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer Nature eBook
  related item:
    title info:
      title: Lecture Notes in Computer Science, 14000
  identifier: 9978-3-031-27481-7
  identifier: 9783031274817
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record creation date: 230302
    record change date: 20240805184632.1
    record identifier: in00004655816