Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB)

Details Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB) Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB)

2009-10-09

arxiv.org/abs/0910.1690v1

IASTED Conf. on Software Engineering (SE'2006), Innsbruck : Austria (2006)

Computer Science

Software Engineering

Scientific paper

Tool-assisted analysis of software systems and convenient guides to practise the formal methods are still motivating challenges. This article addresses these challenges. We ex periment on analysing a formal speci?cation from multiple aspects. The B method and the Atelier-B tool are used for formal speci?cations, for safety property analysis and for re?nements. The ProB tool is used to supplement the study with model checking; it helps to discover errors and there fore to improve the former speci?cations.

Affiliated with

Also associated with

No associations

Rating

Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-51057