Formal Verification of Simulation Traces Using Computation Slicing
From MaRDI portal
Publication:4564138
DOI10.1109/TC.2007.1011zbMath1390.68438MaRDI QIDQ4564138
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
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Actor-based slicing techniques for efficient reduction of Rebeca models, Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation, Repeated detection of conjunctive predicates in distributed executions, Unified mathematical framework for slicing and symmetry reduction over event structures, Efficient abstraction algorithms for predicate detection