14 citations · 22 across the 6 of their papers we have counts for
4 papers · 1 filter
Validating Traces of Distributed Programs Against TLA+ Specifications
Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier +1
TLA+ is a formal language for specifying systems, including distributed algorithms, that is supported by powerful verification tools. In this work we present a framework for relati…
Generating Distributed Programs from Event-B Models
Horatiu Cirstea, Alexis Grall, Dominique Méry
Distributed algorithms offer challenges in checking that they meet their specifications. Verification techniques can be extended to deal with the verification of safety properties…
Faithful (meta-)encodings of programmable strategies into term rewriting systems
Horatiu Cirstea, Serguei Lenglet, Pierre-Etienne Moreau
Rewriting is a formalism widely used in computer science and mathematical logic. When using rewriting as a programming or modeling paradigm, the rewrite rules describe the transfor…
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea, Santiago Escobar
This volume contains the formal proceedings of the Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), held on 23rd June 20…