BRAMA: a new graphic animation tool for b models

Authors:
Thierry Servat
Affiliations:
Clearsy System Engineering
Venue:
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Year:
2007

Citing 0
Cited 6

How to Explain Mistakes

TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Automated Property Verification for Large Scale B Models

FM '09 Proceedings of the 2nd World Congress on Formal Methods
Automatic and efficient simulation of operation contracts

GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Refinement-animation for event-b: towards a method of validation

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Critical systems development methodology using formal techniques

Proceedings of the Third Symposium on Information and Communication Technology
Validation of formal models by refinement animation

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Clearsy is an engineering company specialized in system dependability. It verifies the concepts and tools required to create secure systems and uses formal techniques to define, design and validate systems, then create critical software for their integration.