Graphical versus logical specifications

DOI10.1016/0304-3975(92)90276-LzbMATH Open0776.68084MaRDI QIDQ685358FDOQ685358

Authors: Gérard Boudol, Kim G. Larsen 

Publication date: 25 October 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• scientific article
• Labelled transition logic: An outline
• Logical vs. behavioural specifications
• Process specification and verification
• Publication:5753511

zbMATH Keywords

Hennessy-Milner logicLarsen-Thomsen's modal transition systemsverification of concurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for the description of non-deterministic programs and their properties
• Modal logics for communicating systems

Cited In (21)

• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• Compositional verification of sequential programs with procedures
• A Pre-congruence Format for XY-simulation
• When Are Prime Formulae Characteristic?
• Conjunction on processes: Full abstraction via ready-tree semantics
• Characteristic formulae for fixed-point semantics: a general framework
• ACTL for modal interface automata
• Title not available (Why is that?)
• Refinement checking on parametric modal transition systems
• Algebraic Methodology and Software Technology
• Extending modal transition systems with structured labels
• Encoding safety in \(\mathrm{CLL}_R\)
• Logical vs. behavioural specifications
• Specification of communicating processes: temporal logic versus refusals-based refinement
• Diagrammatic specifications
• A linear-time-branching-time spectrum for behavioral specification theories
• Compositionality for quantitative specifications
• CVPP: a tool set for compositional verification of control-flow safety properties
• When are prime formulae characteristic?
• Title not available (Why is that?)
• Reducing behavioural to structural properties of programs with procedures

This page was built for publication: Graphical versus logical specifications

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