Model checking merged program traces

DOI10.1016/J.ENTCS.2009.05.047MaRDI QIDQ5179356zbMATH OpenOpenAlexFDO

Authors Paulo Salem da Silva, Ana C. V. de Melo

Publication date 19 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.05.047

zbMATH Keywords

simulationmodel checkingruntime verification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The trace modality
• Generic program monitoring by trace analysis
• Parametric Trace Slicing and Monitoring
• Semantics and algorithms for parametric monitoring
• scientific article; zbMATH DE number 1948413

Cites work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• Checking finite traces using alternating automata
• Mining specifications
• The Daikon system for dynamic detection of likely invariants

Describes a project that uses

Uses Software

• Jass
• MASON
• Repast Suite
• JML
• Daikon
• NuSMV

This page was built for publication: Model checking merged program traces

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