LEADER 03144nam 22006255 450 001 9910508438803321 005 20251107172209.0 010 $a3-030-90870-4 024 7 $a10.1007/978-3-030-90870-6 035 $a(MiAaPQ)EBC6801970 035 $a(Au-PeEL)EBL6801970 035 $a(CKB)19410712400041 035 $a(OCoLC)1285171495 035 $a(PPN)258838701 035 $a(DE-He213)978-3-030-90870-6 035 $a(EXLCZ)9919410712400041 100 $a20211109d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods $e24th International Symposium, FM 2021, Virtual Event, November 20?26, 2021, Proceedings /$fedited by Marieke Huisman, Corina P?s?reanu, Naijun Zhan 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (801 pages) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v13047 311 08$aPrint version: Huisman, Marieke Formal Methods Cham : Springer International Publishing AG,c2021 9783030908690 320 $aIncludes bibliographical references and index. 327 $aInvited Presentations. - Interactive Theorem Proving -- Neural Networks & Active Learning -- Logics & Theory -- Program Verification I -- Hybrid Systems -- Program Verification II -- Automata -- Analysis of Complex Systems -- Probabilities -- Industry Track Invited Papers -- Industry Track -- Divide et Impera: Efficient Synthesis of Cyber-Physical System. 330 $aThis book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v13047 606 $aSoftware engineering 606 $aComputer science 606 $aComputers, Special purpose 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aSpecial Purpose and Application-Based Systems 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputers, Special purpose. 615 14$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004.0151 702 $aHuisman$b Marieke 702 $aPa?sa?reanu$b Corina S. 702 $aZhan$b Naijun 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910508438803321 996 $aFormal methods$92247212 997 $aUNINA