Type Checking Specifications

DOI10.1016/J.ENTCS.2007.08.027zbMath1279.68271OpenAlexW1982930894MaRDI QIDQ2873610

Manuela Xavier, Augusto Sampaio, Ana Cavalcanti

Publication date: 24 January 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.08.027

zbMATH Keywords

formal methodsformal languagesconcurrencytype systemrefinement tool

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Mechanical reasoning about families of UTP theories ⋮ Refinement-oriented models of Stateflow charts ⋮ A tactic language for refinement of state-rich concurrent specifications

Uses Software

• TCOZ
• CZT
• Z
• Circus

Cites Work

• A refinement strategy for Circus
• Deep semantic links of TCSP and Object-Z: TCOZ approach.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Type Checking Specifications