Towards Validating a Platoon of Cristal Vehicles Using CSP||B

The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles is developed using the combination, named CSP B, of two well-known formal methods. This large

• Type: Conference
• Year: 2008
• Where: AMAST
• Authors: Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
• Keywords: AMAST 2008, Real Case Study, Software Engineering, Specification, Well-known Formal Methods