Loading…
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...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
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: | |
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 |