1 citations · 1 across the 1 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
A Simple Trace Semantics for Asynchronous Sequence Diagrams
David Faitelson, Shmuel Tyszberowicz
Sequence diagrams are a popular technique for describing interactions between software entities. However, because the OMG group's UML standard is not based on a rigorous mathematic…
cs.SE2021★ 1 cited
Verifying Time Complexity of Binary Search using Dafny
Shiri Morshtein, Ran Ettinger, Shmuel Tyszberowicz
Formal software verification techniques are widely used to specify and prove the functional correctness of programs. However, nonfunctional properties such as time complexity are u…