Huisman, Marieke
- Formal Methods: From Academia to Industrial Practice. A Travel Guide
2020/02/17 by Marieke Huisman, Dilian Gurov, Huisman, Marieke +3 · 1 voice · 3 citations
Computer Science · #Software Engineering Research #Advanced Software Engineering Methodologies #Software Testing and Debugging Techniques
- HaliVer: Deductive Verification and Scheduling Languages Join Forces
2024/01/19 by Lars B. van den Haak, Haak, Lars B. van den, Anton Wijs +5 · 1 citation
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)