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

DOI10.1002/cpe.571zbMath1008.68518OpenAlexW2003501727MaRDI QIDQ4790927

No author found.

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

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

Uses Software

• Rapide
• STeP

Cites Work

• Unnamed Item
• Unnamed Item
• Time, clocks, and the ordering of events in a distributed system
• Formal definition and representation of interaction points
• Object Specification Logic

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