A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting-Reference-Cited by-同舟云学术

A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting

Published:2012-12 Issue: Volume:290 Page:19-36
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Bae Kyungmin,Meseguer José

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference37 articles.

1. M. Beek, A. Fantechi, S. Gnesi, F. Mazzanti, An action/state-based model-checking approach for the analysis of communication protocols for Service-Oriented Applications, in: Proc. FMICS, 2008, to appear.

2. Semantic foundations for generalized rewrite theories;Bruni;Theoretical Computer Science,2006

3. L. Caires, Behavioral and spatial observations in a logic for the pi-calculus, in: Foundations of Software Sceince and Computation Structures, 2004, pp. 72–87.

4. A spatial logic for concurrency (part I);Caires;Information and Computation,2003

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

1. A Spatial Logic for Simplicial Models;Logical Methods in Computer Science;2023-07-26

2. Verification Techniques for a Network Algebra;Fundamenta Informaticae;2020-02-08

3. Monitoring Spatio-Temporal Properties (Invited Tutorial);Runtime Verification;2020

4. Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL;ACM Transactions on Modeling and Computer Simulation;2019-10-31

5. Compositional Specification in Rewriting Logic;Theory and Practice of Logic Programming;2019-10-09