Pages that link to "Item:Q685358"

The following pages link to Graphical versus logical specifications (Q685358):

Displaying 20 items.

• Reducing behavioural to structural properties of programs with procedures (Q385023) (← links)
• GSPEC: A graphical specification language for software (Q803772) (← links)
• Conjunction on processes: Full abstraction via ready-tree semantics (Q875513) (← links)
• Specification of communicating processes: temporal logic versus refusals-based refinement (Q931435) (← links)
• Compositional verification of sequential programs with procedures (Q937300) (← links)
• Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
• Compositionality for quantitative specifications (Q1797783) (← links)
• Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
• A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
• Logical vs. behavioural specifications (Q2304534) (← links)
• Refinement checking on parametric modal transition systems (Q2340259) (← links)
• ACTL for modal interface automata (Q2404073) (← links)
• When are prime formulae characteristic? (Q2422016) (← links)
• Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
• Extending modal transition systems with structured labels (Q2909731) (← links)
• When Are Prime Formulae Characteristic? (Q2946326) (← links)
• CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties (Q3067539) (← links)
• A Pre-congruence Format for XY-simulation (Q3455865) (← links)
• Diagrammatic specifications (Q4811557) (← links)
• Algebraic Methodology and Software Technology (Q5313006) (← links)