10 citations · 32 across the 26 of their papers we have counts for
3 papers · 1 filter
Decoupled Fitness Criteria for Reactive Systems
Derek Egolf, Stavros Tripakis
The correctness problem for reactive systems has been thoroughly explored and is well understood. Meanwhile, the efficiency problem for reactive systems has not received the same a…
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
William Schultz, Ian Dardik, Stavros Tripakis
We present a new technique for automatically inferring inductive invariants of parameterized distributed protocols specified in TLA+. Ours is the first such invariant inference tec…
On Neural Network Equivalence Checking using SMT Solvers
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros +1
Two pretrained neural networks are deemed equivalent if they yield similar outputs for the same inputs. Equivalence checking of neural networks is of great importance, due to its u…