Model checking parameterized by the semantics in Maude

DOI10.1007/978-3-319-90686-7_13OpenAlexW2802859609MaRDI QIDQ1648886

Adrián Riesco

Publication date: 9 July 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-90686-7_13

zbMATH Keywords

model checkingsemanticsmessage passingshared memoryMaude

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Model Checking Value-Passing Modal Specifications ⋮ Moving Arrows and Four Model Checking Results ⋮ Strategies, Model Checking and Branching-Time Properties in Maude ⋮ Proving VLRL action properties with the Maude model checker

This page was built for publication: Model checking parameterized by the semantics in Maude

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