Thu 6 Jun 2024 16:00 - 16:15 at Ballroom - FM for Software Engineering Chair(s): Sandy Lozito

Thu 6 Jun

Displayed time zone: Pacific Time (US & Canada) change

16:00 - 16:55
FM for Software EngineeringNFM 2024 at Ballroom
Chair(s): Sandy Lozito NASA Ames Research Center
16:00
15m
Talk
Structuring Formal Methods into the Undergraduate Computer Science Curriculum
NFM 2024
16:15
25m
Talk
Integrated Contract-based Unit and System Testing for Component-based Systems
NFM 2024
John Hatcliff Kansas State University, Jason Belt Kansas State University, Robby Kansas State University, David Hardin Collins Aerospace
16:40
15m
Talk
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
NFM 2024
Xaver Fink CERN, Anastasia Mavridou KBR / NASA Ames Research Center, Andreas Katis KBR / NASA Ames Research Center, Borja Fernandez Adiego CERN