Search Results for author: Simon Lutz

Found 1 papers, 0 papers with code

Specification sketching for Linear Temporal Logic

no code implementations14 Jun 2022 Simon Lutz, Daniel Neider, Rajarshi Roy

Virtually all verification and synthesis techniques assume that the formal specifications are readily available, functionally correct, and fully match the engineer's understanding of the given system.

Cannot find the paper you are looking for? You can Submit a new open access paper.