4 results  save search


hal-00457182v1  Conference papers
Jean-Paul BodeveixMamoun FilaliJulia LawallGilles Muller. Formal Methods Meet Domain Specific Languages
The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206
hal-00457183v1  Conference papers
Jean-Paul BodeveixMamoun FilaliJulia LawallGilles Muller. Applying the B formal method to the Bossa domain-specific language
The 17th Nordic Workshop on Programming Theory (NWPT'05), 2005, Copenhagen, Denmark, Denmark. pp.35-38
...
inria-00089493v1  Conference papers
Jean-Paul BodeveixMamoun FilaliJulia LawallGilles Muller. Automatic Verification of Bossa Scheduler Properties
Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.19-34