Fragment abstraction for concurrent shape analysis

DOI10.1007/978-3-319-89884-1_16zbMath1418.68124OpenAlexW2797505532MaRDI QIDQ2323989

Cong Quy Trinh, Bengt Jonsson, Parosh Aziz Abdulla

Publication date: 13 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_16

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)

This page was built for publication: Fragment abstraction for concurrent shape analysis