Formal methods for industrial critical systems 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /

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...

Full description

Saved in:
Bibliographic Details
Corporate Authors: International Workshop on Formal Methods for Industrial Critical Systems Online, SpringerLink (Online service)
Other Authors: Lluch Lafuente, Alberto (Editor), Mavridou, Anastasia (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Cham : Springer, [2021]
Series:Lecture notes in computer science ; 12863.
LNCS sublibrary. Programming and software engineering.
Physical Description:
1 online resource : illustrations.
Subjects:
Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer programs -- Verification -- Congresses.
Computer programs -- Reliability -- Congresses.
Computer software -- Verification -- Congresses.
Computer software -- Reliability -- Congresses.
Online Access:SpringerLink - Click here for access

MARC

LEADER 00000cam a2200000 i 4500
001 on1264719739
003 OCoLC
005 20240223121953.0
006 m o d
007 cr |n|||||||||
008 210824s2021 sz a o 101 0 eng d
020 |a 9783030852481  |q (electronic bk.) 
020 |a 3030852482  |q (electronic bk.) 
020 |z 9783030852474 
020 |z 3030852474 
024 7 |a 10.1007/978-3-030-85248-1  |2 doi 
035 |a (OCoLC)1264719739 
040 |a YDX  |b eng  |e rda  |e pn  |c YDX  |d GW5XE  |d OCLCO  |d EBLCP  |d OCLCF  |d OCLCO  |d OCLCQ  |d COM  |d OCLCQ  |d OCLCO  |d OCLCL 
049 |a COM6 
050 4 |a QA76.9.F67  |b I58 2021 
072 7 |a UMX  |2 bicssc 
072 7 |a COM051010  |2 bisacsh 
072 7 |a UMX  |2 thema 
072 7 |a UMC  |2 thema 
082 0 4 |a 004.01/51  |2 23 
111 2 |a International Workshop on Formal Methods for Industrial Critical Systems  |0 https://id.loc.gov/authorities/names/no2006022250  |n (26th :  |d 2021 :  |c Online) 
245 1 0 |a Formal methods for industrial critical systems :  |b 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /  |c Alberto Lluch Lafuente, Anastasia Mavridou (eds.) 
246 3 0 |a FMICS 2021. 
264 1 |a Cham :  |b Springer,  |c [2021] 
264 4 |c ©2021. 
300 |a 1 online resource :  |b illustrations. 
336 |a text  |b txt  |2 rdacontent. 
337 |a computer  |b c  |2 rdamedia. 
338 |a online resource  |b cr  |2 rdacarrier. 
490 1 |a Lecture notes in computer science ;  |v 12863. 
490 1 |a LNCS sublibrary: SL2 - Programming and software engineering. 
500 |a International conference proceedings. 
500 |a Includes author index. 
520 |a 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. 
505 0 |a 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. 
588 0 |a Online resource; title from PDF title page (SpringerLink, viewed August 26, 2021). 
650 0 |a Formal methods (Computer science)  |v Congresses.  |0 https://id.loc.gov/authorities/subjects/sh2008104061. 
650 0 |a Software engineering  |v Congresses.  |0 https://id.loc.gov/authorities/subjects/sh2008111658. 
650 0 |a Computer programs  |x Verification  |0 https://id.loc.gov/authorities/subjects/sh85029528  |v Congresses.  |0 https://id.loc.gov/authorities/subjects/sh99001533. 
650 0 |a Computer programs  |0 https://id.loc.gov/authorities/subjects/sh85029524  |x Reliability  |0 https://id.loc.gov/authorities/subjects/sh99005496  |v Congresses.  |0 https://id.loc.gov/authorities/subjects/sh99001533. 
650 0 |a Computer software  |x Verification  |v Congresses.  |0 https://id.loc.gov/authorities/subjects/sh2009121254. 
650 0 |a Computer software  |x Reliability  |v Congresses.  |0 https://id.loc.gov/authorities/subjects/sh2008101501. 
650 6 |a Méthodes formelles (Informatique)  |v Congrès. 
650 6 |a Génie logiciel  |v Congrès. 
650 6 |a Logiciels  |x Vérification  |v Congrès. 
650 6 |a Logiciels  |x Fiabilité  |v Congrès. 
650 7 |a Computer programs  |x Reliability.  |2 fast. 
650 7 |a Computer programs  |x Verification.  |2 fast. 
650 7 |a Computer software  |x Reliability.  |2 fast. 
650 7 |a Computer software  |x Verification.  |2 fast. 
650 7 |a Formal methods (Computer science)  |2 fast. 
650 7 |a Software engineering.  |2 fast. 
655 2 |a Congress.  |0 https://id.nlm.nih.gov/mesh/D016423. 
655 7 |a proceedings (reports)  |2 aat. 
655 7 |a Conference papers and proceedings.  |2 fast. 
655 7 |a Conference papers and proceedings.  |2 lcgft  |0 https://id.loc.gov/authorities/genreForms/gf2014026068. 
655 7 |a Actes de congrès.  |2 rvmgf. 
700 1 |a Lluch Lafuente, Alberto,  |0 https://id.loc.gov/authorities/names/nb2014008471  |e editor. 
700 1 |a Mavridou, Anastasia,  |0 https://id.loc.gov/authorities/names/nb2020007940  |e editor. 
710 2 |a SpringerLink (Online service)  |0 https://id.loc.gov/authorities/names/no2005046756. 
776 0 8 |i Print version:  |a International Workshop on Formal Methods for Industrial Critical Systems (26th : 2021 : Online).  |t Formal methods for industrial critical systems.  |d Cham : Springer, [2021]  |z 3030852474  |z 9783030852474  |w (OCoLC)1260664989. 
830 0 |a Lecture notes in computer science ;  |0 https://id.loc.gov/authorities/names/n42015162  |v 12863. 
830 0 |a LNCS sublibrary.  |n SL 2,  |p Programming and software engineering.  |0 https://id.loc.gov/authorities/names/no2007033954. 
907 |a .b64701645  |b multi  |c -  |d 210927  |e 240321 
998 |a (2)cue  |a cu  |b 240227  |c m  |d z   |e -  |f eng  |g sz   |h 0  |i 2 
948 |a MARCIVE Overnight, in 2024.03 
948 |a MARCIVE Comprehensive, in 2023.02 
948 |a MARCIVE Over, 10/2021 
994 |a 92  |b COM 
995 |a Loaded with m2btab.ltiac in 2024.03 
995 |a Loaded with m2btab.elec in 2024.02 
995 |a Loaded with m2btab.ltiac in 2023.02 
995 |a Loaded with m2btab.ltiac in 2021.10 
995 |a Loaded with m2btab.elec in 2021.09 
999 |e z 
999 |a cue 
989 |d cueme  |e  - -   |f  - -   |g -   |h 0  |i 0  |j 200  |k 240227  |l $0.00  |m    |n  - -   |o -  |p 0  |q 0  |t 0  |x 0  |w SpringerLink  |1 .i150751424  |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-030-85248-1  |3 SpringerLink  |z Click here for access 

Similar Items