You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
- 2024-03-28: Our grant proposal is approved by the German Research Foundation (DFG)!
We are hiring a Ph.D. student to work on [bridging hardware and software formal verification](files/2024-04-07_COOP24_Bridging_Hardware_Software_Formal_Verification_Nian-Ze.pdf)!
We are hiring a Ph.D. student to work on [bridging hardware and software formal verification](files/2024-04-07_COOP24_Bridging_Hardware_Software_Formal_Verification_Nian-Ze.pdf).
- 2024-02-27: Our paper _Augmenting interpolation-based model checking with auxiliary
invariants_ is accepted at [SPIN 2024](https://spin-web.github.io/SPIN2024/).
