Model checking in bits and pieces

MaRDI QIDQ4994706zbMATH OpenFDO

Authors Kedar S. Namjoshi

Publication date 21 June 2021

Full work available at URL https://arxiv.org/abs/1309.5151, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.25

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Parametrized invariance for infinite state processes
• scientific article; zbMATH DE number 1956575
• scientific article; zbMATH DE number 2086795
• scientific article; zbMATH DE number 2080188
• Symbolic Counter Abstraction for Concurrent Software

Cited in

(5)

• A partial approach to model checking
• Simpler proofs with decentralized invariants
• Easy instances for model checking
• scientific article; zbMATH DE number 4178463 (Why is no real title available?)
• scientific article; zbMATH DE number 1956575 (Why is no real title available?)

This page was built for publication: Model checking in bits and pieces

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