39 citations · 116 across the 15 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Priorities in tock-CSP
Pedro Ribeiro, James Baxter, Ana Cavalcanti
The -CSP encoding embeds a rich and flexible approach to modelling discrete timed behaviours in CSP where the event is interpreted to mark the passage of time. The mod…
cs.LO2019★ 39 cited
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Simon Foster, James Baxter, Ana Cavalcanti +2
The growing complexity and diversity of models used in the engineering of dependable systems implies that a variety of formal methods, across differing abstractions, paradigms, and…