Model checking merged program traces

DOI10.1016/J.ENTCS.2009.05.047zbMATH Open1347.68244OpenAlexW1997518723MaRDI QIDQ5179356FDOQ5179356

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

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

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)

Cites Work

• The Daikon system for dynamic detection of likely invariants
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mining specifications
• Checking finite traces using alternating automata

Uses Software

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

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)