LEADER 04736nam 22007695 450 001 9910913777303321 005 20241129115237.0 010 $a9789819606177 010 $a9819606179 024 7 $a10.1007/978-981-96-0617-7 035 $a(CKB)36702043100041 035 $a(MiAaPQ)EBC31806894 035 $a(Au-PeEL)EBL31806894 035 $a(DE-He213)978-981-96-0617-7 035 $a(EXLCZ)9936702043100041 100 $a20241129d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods and Software Engineering $e25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2?6, 2024, Proceedings /$fedited by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu 205 $a1st ed. 2024. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2024. 215 $a1 online resource (421 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15394 311 08$a9789819606160 311 08$a9819606160 327 $a -- NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. -- Repairing Event-B Models through Quantifier Elimination. -- Tuning Trains Speed in Railway Scheduling. -- The Bright Side of Timed Opacity. -- Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory. -- Efficient State Estimation of Discrete-Timed Automata. -- LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. -- Quantitative Symbolic Robustness Verification for Quantized Neural Networks. -- Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. -- Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. -- Deciding the synthesis problem for hybrid games through bisimulation. -- Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. -- Differential Property Monitoring for Backdoor Detection. -- MemSpate: Memory Usage Protocol Guided Fuzzing. -- The Continuum Hypothesis Implies the Existence of Non-Principal Arithmetical Ultrafilters ? A Coq Formal Verification. -- Observability of Boolean Control Networks: New Definition and Verification Algorithm. -- Formalizing Potential Flows using the HOL Light Theorem Prover. -- On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. -- Efficient SMT-Based Model Checking for HyperTWTL. -- A Tableau-based Approach to Model Checking Linear Temporal Properties. -- Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. -- Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. 330 $aThis volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15394 606 $aComputer science 606 $aComputer programming 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aApplication software 606 $aNatural language processing (Computer science) 606 $aTheory of Computation 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer and Information Systems Applications 606 $aNatural Language Processing (NLP) 615 0$aComputer science. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aApplication software. 615 0$aNatural language processing (Computer science). 615 14$aTheory of Computation. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer and Information Systems Applications. 615 24$aNatural Language Processing (NLP). 676 $a004.0151 700 $aOgata$b Kazuhiro$01777785 701 $aMery$b Dominique$01358349 701 $aSun$b Meng$01369709 701 $aLiu$b Shaoying$01742754 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910913777303321 996 $aFormal Methods and Software Engineering$94299587 997 $aUNINA