00828nam0-22002771i-450-99000334102040332120110316155116.0000334102FED01000334102(Aleph)000334102FED0100033410220030910d1966----km-y0itay50------bafreFRy-------001yy<<La >>libre pensée française de Gassendi à VoltaireJ.S. Spinktrad. de l'anglais par Paul MeierParisEditions Sociales1966397 p.17 cmSpink,John Stephenson323374ITUNINARICAUNIMARCBK990003341020403321213 SPILINGUE 794DECLIDECLILibre pensée française de Gassendi à Voltaire442382UNINA04167nam 22006855 450 991049515500332120251225174934.03-030-85248-210.1007/978-3-030-85248-1(CKB)4100000012008386(MiAaPQ)EBC6710562(Au-PeEL)EBL6710562(PPN)257350713(BIP)81342660(BIP)80998209(DE-He213)978-3-030-85248-1(EXLCZ)99410000001200838620210809d2021 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal Methods for Industrial Critical Systems 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /edited by Alberto Lluch Lafuente, Anastasia Mavridou1st ed. 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (253 pages)Programming and Software Engineering,2945-9168 ;128633-030-85247-4 Verification -- 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.This 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.Programming and Software Engineering,2945-9168 ;12863Compilers (Computer programs)Computer engineeringComputer networksComputer scienceArtificial intelligenceCompilers and InterpretersComputer Engineering and NetworksTheory of ComputationArtificial IntelligenceCompilers (Computer programs).Computer engineering.Computer networks.Computer science.Artificial intelligence.Compilers and Interpreters.Computer Engineering and Networks.Theory of Computation.Artificial Intelligence.004.0151Lluch Lafuente AlbertoMavridou AnastasiaMiAaPQMiAaPQMiAaPQBOOK9910495155003321Formal Methods for Industrial Critical Systems1921860UNINA