𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Mechanised support for sound refinement tactics

✍ Scribed by Frank Zeyda; Marcel Oliveira; Ana Cavalcanti

Book ID
105845068
Publisher
Springer
Year
2011
Tongue
English
Weight
373 KB
Volume
24
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A tactic language for refinement of stat
A tactic language for refinement of state-rich concurrent specifications
✍ Marcel Oliveira; Frank Zeyda; Ana Cavalcanti πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 849 KB

Circus is a refinement language in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and calculus are distinctive, but since refinements may be long and repetitive, the practical application of this technique c