Execution trace‐based model verification to analyze multicore and real‐time systems-Reference-Cited by-同舟云学术

Execution trace‐based model verification to analyze multicore and real‐time systems

Published:2022-05-04 Issue:17 Volume:34 Page:
ISSN:1532-0626
Container-title:Concurrency and Computation: Practice and Experience
language:en
Short-container-title:Concurrency and Computation

Author:

Beamonte Raphael¹^ORCID,Ezzati‐Jivan Naser²^ORCID,Dagenais Michel R.¹

Affiliation:

1. Department of Computer and Software Engineering Polytechnique Montreal Montreal Quebec Canada

2. Brock University St. Catharines Ontario Canada

Funder

Telefonaktiebolaget LM Ericsson

Natural Sciences and Engineering Research Council of Canada

Publisher

Wiley

Subject

Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/cpe.6974

Reference34 articles.

1. Model checking via reachability testing for timed automata

2. Detection of common problems in real‐time and multi‐core systems using model‐based constraints;Beamonte R;Sci Program,2016

3. ThornburgH.Perfcounters added to the mainline; July 2009. [Online].http://lwn.net/Articles/339361/

4. DesnoyersM.A new unified Lockless Ring Buffer library for efficient kernel tracing; August 2010. [Online].https://www.efficios.com/pub/linuxcon2010‐tracingsummit/presentation‐li%nuxcon‐2010‐tracing‐mini‐summit.pdf

5. “strace” Accessed October 16 2021.https://strace.io/

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Research on Cache Coherence Protocol Verification Method Based on Model Checking;Electronics;2023-08-11

2. Analyzing execution path non-determinism of the Linux kernel in different scenarios;Connection Science;2023-04-03