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.

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic. The chapter "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Studienarbeit aus dem Jahr 2011 im Fachbereich Germanistik - Neuere Deutsche Literatur, Eberhard-Karls-Universitat Tubingen, Sprache: Deutsch, Abstract: In dieser Arbeit wird der Versuch unternommen, die Burokratie in Kafkas Werk zu beschreiben und zu verstehen. Die bisherigen Interpretationen sprechen von Burokratie als Metapher fur die moderne Welt, die Religion, bis hin zu den totalitaren Systemen. Der Standpunkt, den diese Arbeit vertritt, ist dass man nicht mit Sicherheit bestimmen kann, was der Autor in seinen Romanen genau sagen wollte. Was wir tun konnen ist, analysieren und wahrscheinliche Erklarungen nennen.

Studienarbeit aus dem Jahr 2011 im Fachbereich Germanistik - Neuere Deutsche Literatur, Eberhard-Karls-Universitat Tubingen, Veranstaltung: Dilettantismus in 18 Jh., Sprache: Deutsch, Abstract: Autodidaktik als Motiv in Moritz' "Anton Reiser" Funktion der Vorbilder in Antons Entwicklung Autodidaktik vs. Schulbildung Narzissmus

Studienarbeit aus dem Jahr 2012 im Fachbereich Literaturwissenschaft - Vergleichende Literaturwissenschaft, - Thessaloniki, Sprache: Deutsch, Abstract: Die menschlichen Grenzen und deren Ubertretung: Schopfer als Gott. Darstellung der Technik. Gefahrliche Unkontrollierbarkeit des Wissens.