Exploiting partial knowledge for efficient model analysis

DOI10.1007/978-3-319-68167-2_23MaRDI QIDQ5096095zbMATH OpenOpenAlexFDO

Authors Nuno Macedo, Alcino Cunha, Eduardo Pessoa

Publication date 12 August 2022

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

Full work available at URL http://hdl.handle.net/1822/51433

Mathematics Subject Classification ID

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

Recommendations

• Symbolic model checking of software
• Improved symbolic verification using partitioning techniques
• Partial model checking of modal equations: a survey
• Monotonicity Analysis Can Speed Up Verification
• Efficient symbolic model checking of software using partial disjunctive partitioning

Cited in

(1)

• Pardinus: a temporal relational model finder

This page was built for publication: Exploiting partial knowledge for efficient model analysis

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