단행본 상세

URL복사하기
서지주요정보
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings [electronic resource]
서명 / 저자 Formal Methods for Industrial Critical Systems [electronic resource] : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings / edited by Alberto Lluch Lafuente, Anastasia Mavridou.
저자명 Lluch Lafuente, Alberto. editor. (orcid)0000-0001-7405-0818 https://orcid.org/0000-0001-7405-0818 edt http://id.loc.gov/vocabulary/relators/edt ; Mavridou, Anastasia. editor. (orcid)0000-0002-3943-9753 https://orcid.org/0000-0002-3943-9753 edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2021.
Online Access https://doi.org/10.1007/978-3-030-85248-1 URL

서지기타정보

서지기타정보
청구기호 QA76.76.C65
판사항 1st ed. 2021.
형태사항 XII, 249 p. 23 illus. online resource.
총서명 Programming and Software Engineering, 2945-9168 ; 12863
언어 English
내용 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.
주제 Compilers (Computer programs).
Computer engineering.
Computer networks .
Computer science.
Artificial intelligence.
Compilers and Interpreters.
Computer Engineering and Networks.
Theory of Computation.
Artificial Intelligence.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783030852474 Printed edition: 9783030852498
ISBN 9783030852481
기타 표준번호 10.1007/978-3-030-85248-1
QR CODE

책소개

전체보기

목차

전체보기

홈으로
로그인 외부인 로그인
ENG
닫기