Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, Sbmf 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

ISBN-13: 9783030638818 / Angielski / Miękka / 2020 / 229 str.

Gustavo Carvalho; Volker Stolz

Spis treści

Invited Talks.- Formal Verification of Neural Networks?.- Navigating the Universe of Z3 Theory Solvers.- Revisiting Refactoring Mechanics from Tool Developers' Perspective.- Experience Reports.- Safety Assurance of a High Voltage Controller for an Industrial Robotic System.- Statistical Model Checking in Drug Repurposing for Alzheimer's Disease.- Models, Languages and Semantics.- Calculational Proofs in Relational Graphical Linear Algebra.- Modeling Big Data Processing Programs.- Optimization of Timed Scenarios.- Reversal Fuzzy Switch Graphs.- Separation Logic-Based Verification atop a Binary-Compatible Filesystem Model.- Software Product Lines.- Merging Cloned Alloy Models with Colorful Refactorings.- Porting the Software Product Line Refinement Theory to the Coq Proof Assistant.- Safe Evolution of Product Lines using Configuration Knowledge Laws.