scientific article; zbMATH DE number 1980919

zbMATH Open1023.03019MaRDI QIDQ4428293FDOQ4428293

Authors:

Publication date: 15 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2514/25140086.htm

Title of this publication is not available (Why is that?)

Recommendations

• Invariant-free clausal temporal resolution
• scientific article; zbMATH DE number 1949000
• scientific article; zbMATH DE number 67448
• Search strategies for resolution in temporal logics
• Temporal resolution using a breadth-first search algorithm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)

Cited In (5)

• Constraint-based algorithm for computing temporal invariants
• Invariant template matching in systems with spatiotemporal coding: a matter of instability
• Extracting mutual exclusion invariants from lifted temporal planning domains
• Invariant-free clausal temporal resolution
• On the expressive power of the normal form for branching-time temporal logics

This page was built for publication:

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