1. Tableaux and sequent calculi for CTL and ECTL: satisfiability test with certifying proofs and models;Abuin;J. Log. Algebraic Methods Program.,2023
2. Verification of mutable linear data structures and iterator-based algorithms in Dafny;Blázquez;J. Log. Algebraic Methods Program.,2023
3. A formal semantics for agent distribution and fault tolerance in Jason;Fernández Díaz;J. Log. Algebraic Methods Program.,2023
4. Gaining trust by tracing security protocols;Fredlund;J. Log. Algebraic Methods Program.,2023
5. Exception-sensitive program slicing;Galindo;J. Log. Algebraic Methods Program.,2023