Collecting statistics over runtime executions
type: Item
instance of: scholarly article
title: Collecting statistics over runtime executions
zbMATH Open document ID: 1083.68068
author: Bernd Finkbeiner
author: Sriram Sankaranarayanan
author: Henny B. Sipma
published in: Formal Methods in System Design
publication date: 2006-01-23T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5000183
zbMATH Keywords: program profiling
zbMATH Keywords: runtime verification
zbMATH Keywords: specification languages
zbMATH Keywords: runtime monitoring
zbMATH Keywords: temporal logic
describes a project that uses: Gprof
MaRDI profile type: Publication
full work available at URL: s10703-005-3399-3
OpenAlex ID: W2103910858
cites work: Q4938622
cites work: Min-max Computation Tree Logic
cites work: Alternation
cites work: Q2753772
cites work: Q4037378
cites work: Q2753764
cites work: Q4873991
cites work: Temporal Verification of Reactive Systems: Response
cites work: Q2754162
cites work: Q4413694
DOI: 10.1007/S10703-005-3399-3
description: scientific article; zbMATH DE number 5000183