Verification of Control Systems using Circus

Authors:
Ana Cavalcanti;Phil Clayton
Affiliations:
University of York, UK;Systems Assurance Group, QinetiQ Malvern, England
Venue:
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Year:
2006

Citing 0
Cited 4

ArcAngelC: a Refinement Tactic Language for Circus

Electronic Notes in Theoretical Computer Science (ENTCS)
Stateflow Diagrams in Circus

Electronic Notes in Theoretical Computer Science (ENTCS)
A tactic language for refinement of state-rich concurrent specifications

Science of Computer Programming
Refinement-oriented models of Stateflow charts

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The J2EE platform allows the rapid development of a large class of complex and robust server-side applications. However, some J2EE constraints pose serious challenges to the development of J2EE applications that interact with legacy systems outside the ...