Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier, Meteor: A Successful Application of B in a Large Project, in Proceedings of FM'99: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Jeannette Wing, Jim Woodcock and Jim Davies (Editors). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Modeling in a Commercial Setting: A Case Study - Wong, Chechik (1999) (1 citation) (Correct)
.... development and the cost of fixing the errors; More precise and cleaner requirements help achieve lower code complex ity [41] FDTs developed into an active research area, resulting in a wide variety of methods, many of which have been successfully applied to specifying industrial size systems [13, 15, 3, 34, 10, 43]. However, the majority of applications have been confined to the safety critical domain [16,26,33] although such systems ac count for only a small fraction of the software industry. The reason has been attributed to the gap between what the academia has to offer and what the commercial software ....
Patriek Behm, Paul Benoit, Alain Faivre, and Jean-Marc Meynadier. "Meteor: A Successful Application of B in a Large Project". In J. Wing and J. Woodcock, editors, Proceedings of World Congress on Formal Methods in the Development of Computing Systems (FM'99), LNCS 1708, pages 369 387, September 1999.
Verification Conditions Are Code - Gravell (2000) (Correct)
....at least one VC per (multiple) assignment. Thus in general it is reasonable to expect that the input number of VCs required by the code generation algorithm for H2=3 is comparable, at worst, to the number of lines of code output. This hypothesis is confirmed by the experience of the Meteor project [4] where verifying 57,000 Ada instructions resulted in around 28,000 VCs. 5 Summary and Conclusions The code generation algorithm presented here is polynomial. As with any search, there are many possibilities for optimisation. An important point however is that well structured programs have only ....
Behm P et al: Meteor: A Successful Application of B in a Large Project, LNCS 1708: 369-387, Springer, 1999. Verification Conditions Are Code 19
Using B to verify UML Transformations - Lano Dept Of (Correct)
No context found.
Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier, Meteor: A Successful Application of B in a Large Project, in Proceedings of FM'99: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Jeannette Wing, Jim Woodcock and Jim Davies (Editors).
Adaptable Translator of B Specifications to - Didier (Correct)
No context found.
P. Behm, P. Benoit, A. Faivre, and J.-M. Meynadier. Meteor: A Successful Application of B in a Large Project. In FM'99 - Formal Methods, LNCS 1708, pages 369--388. Springer-Verlag, 1999.
Adaptable Translator of B Specifications to - Embedded Programs Didier (Correct)
No context found.
P. Behm, P. Benoit, A. Faivre, and J.-M. Meynadier. Meteor: A Successful Application of B in a Large Project. In FM'99 - Formal Methods, LNCS 1708, pages 369--388. Springer-Verlag, 1999.
Rapid Prototyping and Incremental Evolution Using SLAM - Herranz, Moreno-Navarro (2003) (Correct)
No context found.
P. Behm, P. Benoit, and J. Meynadier. Meteor: A Successful Application of B in a Large Project. In FM 99 --- World Conf. on FM in the Development of Computing Systems, number 1708 in LNCS, pages 369--387. Springer Verlag, 1999.
Specifying in the large: Object Oriented Specifications in the .. - Herranz-Nieva (2002) (Correct)
No context found.
P. Behm, P. Benoit, and J. Meynadier. Meteor: A Successful Application of B in a Large Project. In FM 99 --- World Conference on Formal Methods in the Development of Computing Systems, number 1708 in LNCS, pages 369--387. Springer Verlag, 1999.
Duration calculus: A real-time semantic for B - Colin, Mariano, Poirriez (2004) (Correct)
No context found.
Patrick Behm, Paul Benoit, Alain Faivre, and Jean-Marc Meynadier. METEOR : A successful application of B in a large project. In Wing et al. [WWD99], pages 369--387.
Adaptable Translator of B Specifications to Embedded C .. - Bert, Boulme, Potet.. (Correct)
No context found.
P. Behm, P. Benoit, A. Faivre, and J.-M. Meynadier. Meteor: A Successful Application of B in a Large Project. In FM'99 - Formal Methods, LNCS 1708, pages 369--388. Springer-Verlag, 1999.
Adaptable Translator of B Specifications to - Embedded Programs Didier (Correct)
No context found.
P. Behm, P. Benoit, A. Faivre, and J.-M. Meynadier. Meteor: A Successful Application of B in a Large Project. In FM'99 - Formal Methods, LNCS 1708, pages 369--388. Springer-Verlag, 1999.
Foundations Of The B Method - Cansell, Méry (2003) (Correct)
No context found.
P. BEHM, P. BENOIT, A. FAIVRE, AND J. - M.M EYNADIER. METEOR : A successful application of B in a large project. In Proceedings of FM'99: World Congress on Formal Methods, Lecture Notes in Computer Science, pages 369-- 387, 1999.
Interpolation in Practical Formal - Development Juan Bicarregui (Correct)
No context found.
P. Behm, P. Benoit, and J.M. Meynadier. Meteor: A Successful Application of B in a Large Project. In J. Wing, J. Woodcock, and J. Davies, editors, FM'99 -- Formal Methods,volumeI, pages 369--387, 1999.
Refining Distributed Systems Using the B Method - Rolland, Muntean (Correct)
No context found.
P. Behm, P. Benoit, A. Faivre and J.-M. Meynadier. METEOR: A successful application of B in a large p roject. In Proceedings of FM'99: World Congress on Formal Methods, pages 369 -- 387, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC