NASA Formal Methods 2023
Tue 16 - Thu 18 May 2023 Houston, Texas, United States
  • Attending
    • Venue: University of Houston, Clear Lake
  • Program
    • NASA Formal Methods Program
    • Your Program
    • Tue 16 May
    • Wed 17 May
    • Thu 18 May
  • Track/Call
  • Organization
      • NASA Formal Methods 2023 Committees
      • Track Committees
      • Organizing Committee
      • Program Committee
      • Contributors
      • People Index
  • Search
  • Series
    • Series
    • NASA Formal Methods 2024
    • NASA Formal Methods 2023
    • NASA Formal Methods 2022
    • NASA Formal Methods 2021
    • NASA Formal Methods 2020
    • NASA Formal Methods 2019
    • NASA Formal Methods 2018
    • NASA Formal Methods 2017
    • NASA Formal Methods 2016
    • NASA Formal Methods 2015
    • NASA Formal Methods 2014
    • NASA Formal Methods 2013
    • NASA Formal Methods 2012
    • NASA Formal Methods 2011
    • NASA Formal Methods 2010
    • NASA Formal Methods 2009
    • 6th NASA Langley Formal Methods Workshop (LFM 2008)
    • 5th NASA Langley Formal Methods Workshop (LFM 2000)
    • 4th NASA Langley Formal Methods Workshop (LFM 1997)
    • 3rd NASA Langley Formal Methods Workshop (LFM 1995)
    • 2nd NASA Langley Formal Methods Workshop
    • 1st NASA Langley Formal Methods Workshop
  • Sign in
  • Sign up
NASA Formal Methods 2023 (series) / Neha Rungta
  • conf.research.org general profile
  • ASE 2019 profile
  • ECOOP and ISSTA 2021 profile
  • ESEC/FSE 2018 profile
  • ESEC/FSE 2020 profile
  • ESEC/FSE 2022 profile
  • ESEC/FSE 2023 profile
  • FSE 2024 profile
  • ICSE 2019 profile
  • ICSE 2022 profile
  • ICSE 2025 profile
  • ISSTA 2017 profile
  • ISSTA 2022 profile
  • POPL 2016 profile
  • SPLASH 2012 profile
  • SPLASH 2024 profile
Neha Rungta

Registered user since Sat 26 Nov 2016

Name:Neha Rungta
Country:United States
Affiliation:Amazon Web Services
Personal website: https://ti.arc.nasa.gov/profile/nrungta/

Contributions

2023

NFM

  • A Toolkit for Automated Testing of Dafny

Show activities from other conferences

Share
NASA Formal Methods 2023-profile
View general profile
xSat 17 May 08:08

NASA Formal Methods 2023

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

NFM 2023

Attending

Venue: University of Houston, Clear Lake
Sign Up