Conferences in DBLP
Cliff B. Jones Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leuschel , Edd Turner Visualising Larger State Spaces in Pro B. [Citation Graph (0, 0)][DBLP ] Conf ] John Derrick , Heike Wehrheim Non-atomic Refinement in Z and CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Dunne , Stacey Conroy Process Refinement in B. [Citation Graph (0, 0)][DBLP ] Conf ] Petra Malik , Mark Utting CZT: A Framework for Z Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme Smith , Luke Wildman Model Checking Z Specifications Using SAL. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Toyn , Andy Galloway Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Attiogbé A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pontus Boström , Marina A. Waldén An Extension of Event B for Developing Grid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Carroll Morgan , Thai Son Hoang , Jean-Raymond Abrial The Challenge of Probabilistic Event B - Extended Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Jemima Rossmorris , Susan Stepney Requirements as Conjectures: Intuitive DVD Menu Navigation. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Zeyda , Bill Stoddart , Steve Dunne A Prospective-Value Semantics for the GSL. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Banach , Simon Fraser Retrenchment and the B-Toolkit. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Raymond Abrial , Dominique Cansell , Dominique Méry Refinement and Reachability in EventB . [Citation Graph (0, 0)][DBLP ] Conf ] Soon-Kyeong Kim , David A. Carrington A Rigorous Foundation for Pattern-Based Design Models. [Citation Graph (0, 0)][DBLP ] Conf ] Nuno Amálio , Fiona Polack , Susan Stepney An Object-Oriented Structuring for Z Based on Views. [Citation Graph (0, 0)][DBLP ] Conf ] Yann Zimmermann , Diana Toma Component Reuse in B Using ACL2. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Bert , Marie-Laure Potet , Nicolas Stouls GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin W. Long Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Badeau , Arnaud Amelot Using B as a High Level Programming Language in an Industrial Project: Roissy VAL. [Citation Graph (0, 0)][DBLP ] Conf ] Thai Son Hoang , Zhendong Jin , Ken Robinson , Annabelle McIver , Carroll Morgan Development via Refinement in Probabilistic B - Foundation and Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Eerke A. Boiten , John Derrick Formal Program Development with Approximations. [Citation Graph (0, 0)][DBLP ] Conf ] Lindsay Groves Practical Data Refinement for the Z Schema Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Ingo Brückner , Heike Wehrheim Slicing Object-Z Specifications for Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Bouquet , Frédéric Dadeau , Julien Groslambert Checking JML Specifications with B Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Judy Bowen , Steve Reeves Including Design Guidelines in the Formal Specification of Interfaces in Z. [Citation Graph (0, 0)][DBLP ] Conf ] Abdolbaghi Rezazadeh , Michael J. Butler Some Guidelines for Formal Development of Web-Based Applications in B-Method. [Citation Graph (0, 0)][DBLP ] Conf ] 