Preface to selected papers from 20th workshop on programming and languages (PROLE 2021)

DOI10.1016/J.JLAMP.2024.100974MaRDI QIDQ6561343

Author name not available (Why is that?)

Publication date: 25 June 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

verificationformal methodsspecificationprogramminglanguages

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cites Work

• Program slicing of Java programs
• Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
• Gaining trust by tracing security protocols
• Exception-sensitive program slicing
• Verification of the ROS NavFn planner using executable specification languages
• Verification of mutable linear data structures and iterator-based algorithms in Dafny
• A formal semantics for agent distribution and fault tolerance in Jason
• A computational framework based on the dynamic pipeline approach

This page was built for publication: Preface to selected papers from 20th workshop on programming and languages (PROLE 2021)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561343)