Formal Verification of Simulation Traces Using Computation Slicing

DOI10.1109/TC.2007.1011zbMath1390.68438OpenAlexW2170797973MaRDI QIDQ4564138

Alper Şen, Vijay K. Garg

Publication date: 12 June 2018

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2007.1011

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation ⋮ Repeated detection of conjunctive predicates in distributed executions ⋮ Actor-based slicing techniques for efficient reduction of Rebeca models ⋮ Unified mathematical framework for slicing and symmetry reduction over event structures ⋮ Efficient abstraction algorithms for predicate detection

This page was built for publication: Formal Verification of Simulation Traces Using Computation Slicing