TY  - GEN
N2  - This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.
DO  - 10.1007/978-3-030-90870-6
DO  - doi
AB  - This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.
T1  - Formal methods :24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings /
DA  - 2021.
CY  - Cham, Switzerland :
AU  - Huisman, Marieke.
AU  - Păsăreanu, Corina S.
AU  - Zhan, Naijun.
VL  - 13047
CN  - QA76.9.F67
PB  - Springer,
PP  - Cham, Switzerland :
PY  - 2021.
N1  - Includes author index.
ID  - 1440884
KW  - Formal methods (Computer science)
KW  - Méthodes formelles (Informatique)
SN  - 9783030908706
SN  - 3030908704
TI  - Formal methods :24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-90870-6
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-90870-6
ER  -