Formal methods and software engineer...
International Conference on Formal Engineering Methods (2022 :)

FindBook      Google Book      Amazon      博客來     
  • Formal methods and software engineering = 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Formal methods and software engineering/ edited by Adrian Riesco, Min Zhang.
    其他題名: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 : proceedings /
    其他題名: ICFEM 2022
    其他作者: Riesco, Adrian.
    團體作者: International Conference on Formal Engineering Methods
    出版者: Cham :Springer International Publishing : : 2022.,
    面頁冊數: xiv, 440 p. :ill. (some col.), digital ;24 cm.
    內容註: Model checking quantum Markov chains -- Bridging Formal Methods and Machine Learning with Global Optimisation -- Canonical Narrowing for Variant-based Conditional Rewrite Theories -- Modular Analysis of Tree-Topology Models -- Non-linear optimization methods for learning regular distributions -- Separation of concerning things: a simpler basis for defining and programming with the C\C++ memory model -- Creusot: a Foundry for the Deductive Verification of Rust Programs -- Generation of a Reversible Semantics for Erlang in Maude -- Program slicing techniques with support for unconditional jumps -- Formal verification of the inter-core synchronization of a multi-core RTOS kernel -- SMT-Based Model Checking of Industrial Simulink Models -- PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification -- A Formal Methodology for Verifying Side-channel Vulnerabilities in Cache Architectures -- Refined Modularization for Bounded Model Checking through Precondition Generation -- TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter -- A Proof System for Cyber-physical Systems with Shared-Variable Concurrency -- Theorem proving for Maude specifications using Lean -- On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic -- Declassification predicates for controlled information release -- Trace Refinement in B and Event-B -- Model Checking B Models via High-level Code Generation -- On Probabilistic Extension of The Interaction Theory -- Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages -- RoboCert: Property Specification in Robotics -- Formally Verified Animation for RoboChart using Interaction Trees -- Machine-checked executable semantics of Stateflow.
    Contained By: Springer Nature eBook
    標題: Formal methods (Computer science) - Congresses. -
    電子資源: https://doi.org/10.1007/978-3-031-17244-1
    ISBN: 9783031172441
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9446287 電子資源 11.線上閱覽_V 電子書 EB QA76.9.F67 I57 2022 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入