01:19:13
keynote 4 SBMF: Trustworthy AI
01:23:48
tutorial 3 ETMF: Modelling Languages
01:26:39
technical session 3 SBMF: modelling languages
01:22:47
keynote 3 SBMF: A New Approach for Active Automata Learning Based on Apartness
01:23:48
technical session 2 SBMF: Model checking
01:07:56
tutorial 2 ETMF: Model Checking
01:01:44
keynote 2 SBMF: Software Product Line Analyses: Reliability and Beyond
01:01:06
technical session 1 SBMF: Timed Systems
01:01:12
tutorial 1 ETMF: Introduction to Timed Automata
53:33
keynote 1 SBMF: Automated Program Repair Using Formal Verification Techniques
02:32:32
Lecture 1 ETMF - Formal methods in Robotics
01:55:37
Lecture 2 ETMF - Introduction to Formal Languages
01:05:28
Lecture - Improving GUI programming and usability by formal thinking
01:06:17
Lecture - Formal methods in industry
59:01
Keynote Speech - Navigating the Universe of Z3 Theory Solvers
01:00:05
Keynote Speech - Formal Verification of Neural Networks?
54:32
Tutorial - An introduction to formal models and languages
56:47
Tutorial - An introduction to model checking
01:13:56
Technical Session 4 - Software Product Lines
46:23
Technical Session 3 - Experience Reports
01:02:55
Technical Session 2 - Models, Languages and Semantics
01:31:24
Technical Session 1 - Models, Languages and Semantics
38:47
SBMF Closing Session
19:02
SBMF Opening Session
10:20
ETMF Opening Session
01:02:10
Warm-up 2 - A practical introduction to formal methods using Coq
25:02
Warm-up 1 - The formal methods community in Brazil
X
About
Brazilian Symposium on Formal Methods
Tags