Book Details

978-3-540-68761-0

B 2007: Formal Specification and Development in B

Publication year: 2006

ISBN: 978-3-540-68761-0

Internet Resource: Please Login to download book


These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city of Besan¸ con in the east of France. All the submitted papers in these proceedings were peer reviewed by at least three reviewers drawn from the B committee, depending on the subject matter of the paper. The authorsof the papersforB 2007werefrom Australia,Canada, Finland, Germany, France, Switzerland, and the UK. The conference featured a rangeof contributions by distinguished invited speakers drawn from both ind- try and academia.


Subject: Computer Science, Animation, B method, C#, Eclipse, Java, Unified Modeling Language (UML), data structure, formal software development, formal specification, formal verification, model checkimg, program analysis, program development, system modeling, systems