Deep Semantic Links of TCSP and Object-Z: TCOZ Approach


Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ, a language blended from Object-Z and TCSP. The semantic model adopted is the infinite timed failures model of TCSP, extended to include initial state and update events for… (More)
DOI: 10.1007/s001650200004


  • Presentations referencing similar topics