All Stories

  1. Deductive Verification of real-time Embedded Systems

    Article • ACM Transactions on Embedded Computing Systems, August 2025, ACM (Association for Computing Machinery)

    Philip Tasche