Efficient abstraction algorithms for predicate detection

DOI10.1016/J.TCS.2015.12.037MaRDI QIDQ2357148zbMATH OpenOpenAlexFDO

Authors Aravind Natarajan, Himanshu Chauhan, Neeraj Mittal, Vijay K. Garg

Publication date 19 June 2017

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2015.12.037

zbMATH Keywords

distributed algorithmonline algorithmpredicate detectiontemporal logic

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15) Online algorithms; streaming algorithms (68W27)

Recommendations

• Principles of Distributed Systems
• Techniques and applications of computation slicing
• Modeling, analyzing and slicing periodic distributed computations
• scientific article; zbMATH DE number 2006645
• Detecting Temporal Logic Predicates on Distributed Computations

Cites work

• A brief account of runtime verification
• An overview of the runtime verification tool Java PathExplorer
• Detecting errors in multithreaded programs by generalized predictive analysis of executions
• Detecting Temporal Logic Predicates on Distributed Computations
• Formal Verification of Simulation Traces Using Computation Slicing
• scientific article; zbMATH DE number 1670567 (Why is no real title available?)
• scientific article; zbMATH DE number 1670782 (Why is no real title available?)
• Java-MaC: A run-time assurance approach for Java programs
• Parametric and Sliced Causality
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Principles of Distributed Systems
• Techniques and applications of computation slicing
• Time, clocks, and the ordering of events in a distributed system

Cited in

(9)

• Techniques and applications of computation slicing
• Translating Xd-C programs to MSVL programs
• Modeling, analyzing and slicing periodic distributed computations
• Distributed and predictable software model checking
• Detecting Temporal Logic Predicates on Distributed Computations
• scientific article; zbMATH DE number 2006645 (Why is no real title available?)
• Principles of Distributed Systems
• Efficient detection of restricted classes of global predicates
• Decentralized LTL enforcement

Describes a project that uses

Uses Software

• Java-MaC
• jPredictor
• JPAX

This page was built for publication: Efficient abstraction algorithms for predicate detection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2357148)