6 citations · 6 across the 3 of their papers we have counts for
4 papers
A benchmark for vericoding: formally verified program synthesis
Sergiu Bursuc, Theodore Ehrenborg, Shaowei Lin +10
We present and test the largest benchmark for vericoding, LLM-generation of formally verified code from formal specifications - in contrast to vibe coding, which generates potentia…
Tenderbake -- A Solution to Dynamic Repeated Consensus for Blockchains
Lăcrămioara Aştefanoaei, Pierre Chambart, Antonella Del Pozzo +3
First-generation blockchains provide probabilistic finality: a block can be revoked, albeit the probability decreases as the block sinks deeper into the chain. Recent proposals rev…
Compositional Verification for Timed Systems Based on Automatic Invariant Generation
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem +2
We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of components. The main…
Timed Orchestration for Component-based Systems
Chih-Hong Cheng, Lacramioara Astefanoaei, Harald Ruess +2
Individual machines in flexible production lines explicitly expose capabilities at their interfaces by means of parametric skills. Given such a set of configurable machines, a line…