Hybrid Analysis for Partial Order Reduction of Programs with Arrays

DOI10.1007/978-3-662-49122-5_14zbMATH Open1475.68095OpenAlexW2295507279WikidataQ58028881 ScholiaQ58028881MaRDI QIDQ2796057

Pavel Parizek

Publication date: 23 March 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49122-5_14

Mathematics Subject Classification ID

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)

This page was built for publication: Hybrid Analysis for Partial Order Reduction of Programs with Arrays

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