Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- National Renewable Energy Laboratory NREL
- Chalmers University of Technology
- Cranfield University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- KU LEUVEN
- Ludwig-Maximilians-Universität München •
- National Research Council Canada
- Ryerson University
- Technical University of Denmark
- University of Southern Denmark
- 1 more »
- « less
-
Field
-
Software Defined Vehicles (SDV). The primary objective is to expand, mature, and industrialize a novel European RISC-V automotive ecosystem that enables next-generation high-performance European automotive
-
of control software, and reuse efforts from earlier stages as much as possible. On-the-fly Synthesis and Verification: We develop techniques for the online verification and synthesis of controllers
Searches related to software verification
Enter an email to receive alerts for software-verification positions