Structuring Formal Methods into the Undergraduate Computer Science Curriculum (NASA Formal Methods 2024 - NFM 2024) - NASA Formal Methods 2024

Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States

Who

Ramnath Sarnath, Stephen Walk

Track

NASA Formal Methods 2024 NFM

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

Ramnath Sarnath

SCSU

United States

Stephen Walk

SCSU

United States

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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 Ramnath Sarnath SCSU, Stephen Walk SCSU
	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