Modeling and testing object-oriented distributed systems with linear-time temporal logic

DOI10.1002/CPE.571MaRDI QIDQ4790927zbMATH OpenOpenAlexFDO

Authors

Publication date 4 February 2003

Published in Concurrency and Computation: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://infoscience.epfl.ch/record/379/files/DietrichLH01.pdf

zbMATH Keywords

temporal logicformal modelevent-based behavioral abstraction

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites work

• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 176123 (Why is no real title available?)
• Formal definition and representation of interaction points
• Object Specification Logic
• Time, clocks, and the ordering of events in a distributed system

Describes a project that uses

Uses Software

• STeP
• Rapide

This page was built for publication: Modeling and testing object-oriented distributed systems with linear-time temporal logic

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