SCTL-MUS: A formal methodology for software development of distributed systems. A case study

DOI10.1007/PL00003939zbMath0991.68051OpenAlexW2044789794MaRDI QIDQ5949548

Jorge García Duque, José J. Pazos Arias

Publication date: 21 November 2001

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

model of unspecified statessimple causal temporal logic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Data structures for symbolic multi-valued model-checking ⋮ SCTL-MUS

Uses Software

• TLA

This page was built for publication: SCTL-MUS: A formal methodology for software development of distributed systems. A case study