Search the dblp DataBase

Publications of Author

1. Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore
   Abstract State Machines: Designing Distributed Systems with State Machines and B. [Citation Graph (0, 0)][DBLP]
   B, 1998, pp:226-242 [Conf]
   
2. Andy Galloway, Bill Stoddart
   An Operational Semantics for ZCCS. [Citation Graph (0, 0)][DBLP]
   ICFEM, 1997, pp:272-0 [Conf]
   
3. John A. McDermid, Andy Galloway
   Three Perspectives in Formal Engineering. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:35-54 [Conf]
   
4. John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine
   Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. [Citation Graph (0, 0)][DBLP]
   ICFEM, 1998, pp:76-0 [Conf]
   
5. Andy Galloway, Bill Stoddart
   Integrated formal methods. [Citation Graph (0, 0)][DBLP]
   INFORSID, 1997, pp:549-576 [Conf]
   
6. James Blow, Andy Galloway
   Generalised Substitution Language and Differentials. [Citation Graph (0, 0)][DBLP]
   ZB, 2002, pp:396-415 [Conf]
   
7. Ian Toyn, Andy Galloway
   Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. [Citation Graph (0, 0)][DBLP]
   ZB, 2005, pp:104-123 [Conf]
   
8. Bill Stoddart, Steve Dunne, Andy Galloway
   Undefined Expressions and Logic in Z and B. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1999, v:15, n:3, pp:201-215 [Journal]
   
9. Steve Dunne, Andy Galloway
   Lifting General Correctness into Partial Correctness is ok. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:215-232 [Conf]
   
10. 
    Formal Validation of Hierarchical State Machines against Expectations. [Citation Graph (, )][DBLP]
    
    
11. 
    Reasoning about Loops in Total and General Correctness. [Citation Graph (, )][DBLP]
    
    
12. 
    Model-Checking the Linux Virtual File System. [Citation Graph (, )][DBLP]
    
    
13. 
    On the Formal Development of Safety-Critical Software. [Citation Graph (, )][DBLP]