30 citations · 32 across the 11 of their papers we have counts for
4 papers · 1 filter
Learning GR(1) Specifications from Traces
Sam Nicholas Kouteili, William Fishell, Mark Santolucito +1
Constrained specification mining enables the automatic discovery of desired properties from system traces. Generalized Reactivity of Rank 1, or GR(1), is a fragment of LTL with pol…
Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications
Sam Nicholas Kouteili, William Fishell, Christian Scaff +2
Mining specifications from execution traces presents an automated way of capturing characteristic system behaviors. However, existing approaches are largely restricted to Boolean a…
Identifying Maximal Non-Redundant Integer Cone Generators
Slobodan Mitrović, Ruzica Piskac, Viktor Kunčak
A non-redundant integer cone generator (NICG) of dimension is a set of vectors from whose vector sum cannot be generated as a positive integer linear combinatio…
Incremental, Inductive Coverability
Johannes Kloos, Rupak Majumdar, Filip Niksic +1
We give an incremental, inductive (IC3) procedure to check coverability of well-structured transition systems. Our procedure generalizes the IC3 procedure for safety verification t…