Why3: Shepherd Your Herd of Provers

By François Bobot, Jean-Christophe Filliâtre, Claude Marché, A. Paskevich. 2011

312 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/5d972a592c04c850f7153752e889e2be196be187

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. A. Paskevich
2. Jean-Christophe Filliâtre
3. Bo Jiang

Citations in the corpus

• Why3 - Where Programs Meet Provers (2013, methodology): “The specification component of WhyML, used to write program annotations and background logical theories, is presented in [4], and here we only mention the most essential features.”
• A Survey on Ethereum Systems Security (2019, unknown): “This vulnerability was reported in References [102, 154, 161].”