Graphical versus logical specifications

DOI10.1016/0304-3975(92)90276-LMaRDI QIDQ685358zbMATH OpenFDO

Authors Gérard Boudol, Kim G. Larsen

Publication date 25 October 1993

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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3919813 (Why is no real title available?)
• scientific article; zbMATH DE number 4059362 (Why is no real title available?)
• scientific article; zbMATH DE number 3744561 (Why is no real title available?)
• scientific article; zbMATH DE number 4118343 (Why is no real title available?)
• A logic for the description of non-deterministic programs and their properties
• Algebraic laws for nondeterminism and concurrency
• Modal logics for communicating systems

Cited in

(22)

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

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)