Requirements Engineering 2024 (series) / Industrial Innovation Papers /
Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report
Wed 26 JunDisplayed time zone: (UTC) Coordinated Universal Time change
Wed 26 Jun
Displayed time zone: (UTC) Coordinated Universal Time change
10:45 - 12:15 | VerificationIndustrial Innovation Papers / Research Papers at V101 Chair(s): Farnaz Fotrousi Chalmers and Gothenburg University | ||
10:45 30mPaper | Scalable Redundancy Detection for Real-Time Requirements Research Papers Elisabeth Henkel University Freiburg, Nico Hauff University Freiburg, Lena Funk , Vincent Langenfeld University of Freiburg, Andreas Podelski University of Freiburg | ||
11:15 30mPaper | Requirements Satisfiability with In-Context Learning Research Papers Sarah Santos , Travis Breaux Carnegie Mellon University, Tom Norton , Sara Haghighi , Sepideh Ghanavati University of Maine Pre-print | ||
11:45 30mPaper | Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report Industrial Innovation Papers Gustav Ung , Jesper Amilon KTH Royal Institute of Technology, Dilian Gurov KTH Royal Institute of Technology, Christian Lidström KTH Royal Institute of Technology, Mattias Nyberg , Karl Palmskog KTH Royal Institute of Technology | ||