Formal verification of skiplists with arbitrary many levels

DOI10.1007/978-3-319-11936-6_23MaRDI QIDQ3457806zbMATH OpenOpenAlexFDO

Authors César Sánchez, Alejandro Sánchez

Publication date 17 December 2015

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11936-6_23

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Some observations on skip-lists
• Computer Aided Verification
• scientific article; zbMATH DE number 742983
• Verification, Model Checking, and Abstract Interpretation
• A limit theory for random skip lists

Cited in

(2)

• Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Formal verification of skiplists with arbitrary many levels

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