Temporal logic based static analysis for non-uniform behaviours.

DOI10.1007/B94120MaRDI QIDQ5902543zbMATH OpenOpenAlexFDO

Authors M. Colin, Xavier Thirioux, Marc Pantel

Publication date 12 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94120

Mathematics Subject Classification ID

Temporal logic (03B44) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1686285
• scientific article; zbMATH DE number 1090097
• Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
• scientific article; zbMATH DE number 1304380
• scientific article; zbMATH DE number 1759630

Cited in

(6)

• Static analysis for state-space reductions preserving temporal logics
• scientific article; zbMATH DE number 1686285 (Why is no real title available?)
• scientific article; zbMATH DE number 1304380 (Why is no real title available?)
• scientific article; zbMATH DE number 1090097 (Why is no real title available?)
• scientific article; zbMATH DE number 1948411 (Why is no real title available?)
• Types for progress in actor programs

Describes a project that uses

Uses Software

• PIPER

This page was built for publication: Temporal logic based static analysis for non-uniform behaviours.

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