LEADER 04167nam  22006855  450 
001 9910495155003321
005 20251225174934.0
010   $a3-030-85248-2
024 7 $a10.1007/978-3-030-85248-1
035   $a(CKB)4100000012008386
035   $a(MiAaPQ)EBC6710562
035   $a(Au-PeEL)EBL6710562
035   $a(PPN)257350713
035   $a(BIP)81342660
035   $a(BIP)80998209
035   $a(DE-He213)978-3-030-85248-1
035   $a(EXLCZ)994100000012008386
100   $a20210809d2021      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods for Industrial Critical Systems $e26th International Conference, FMICS 2021, Paris, France, August 24?26, 2021, Proceedings /$fedited by Alberto Lluch Lafuente, Anastasia Mavridou
205   $a1st ed. 2021.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021.
215   $a1 online resource (253 pages)
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12863
311 08$a3-030-85247-4 
327   $aVerification -- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps -- Automated Verification of Temporal Properties of Ladder Programs -- Spatial Model Checking for Smart Stations: Research Challenges -- Program Safety and Education -- Parametric Faults in Safety Critical Programs -- Modular Transformation of Java Exceptions Modulo Errors -- On education and training in formal methods for industrial critical systems  -- (Event-)B Modeling and Validation -- Improving SMT Solver Integrations for the Validation of B and Event-B Models -- Standard Conformance-by-Construction with Event-B -- Formal Analysis -- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems -- Verifying the Mathematical Library of an UAV Autopilot with Frama-C -- Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer -- Tools -- ProB2-UI: A Java-based User Interface for ProB -- Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker -- Merit and Blame Assignment with Kind 2 -- Test Generation and Probabilistic Verification -- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems -- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.
330   $aThis book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v12863
606   $aCompilers (Computer programs)
606   $aComputer engineering
606   $aComputer networks
606   $aComputer science
606   $aArtificial intelligence
606   $aCompilers and Interpreters
606   $aComputer Engineering and Networks
606   $aTheory of Computation
606   $aArtificial Intelligence
615  0$aCompilers (Computer programs).
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aComputer science.
615  0$aArtificial intelligence.
615 14$aCompilers and Interpreters.
615 24$aComputer Engineering and Networks.
615 24$aTheory of Computation.
615 24$aArtificial Intelligence.
676   $a004.0151
702   $aLluch Lafuente$b Alberto
702   $aMavridou$b Anastasia
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910495155003321
996   $aFormal Methods for Industrial Critical Systems$91921860
997   $aUNINA