vix.ing · top · new · best · stats · spec

Ahmad, Hammad

  1. A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid\n Systems: Extended Technical Report
    2021/03/14 by Hammad Ahmad, Ahmad, Hammad, Jean-Baptiste Jeannin +1 · 1 citation
    Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques