Starling: lightweight concurrency verification with views

DOI10.1007/978-3-319-63387-9_27zbMath1494.68065OpenAlexW2736012496MaRDI QIDQ2151272

Mike Dodds, Ben Simner, Matthew J. Parkinson, Matt Windsor

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-63387-9_27

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) ⋮ Concise outlines for a complex logic: a proof outline checker for TaDA

This page was built for publication: Starling: lightweight concurrency verification with views