Research output per year
Research output per year
Search results
-
2009
Model-Checking the Linux Virtual File System
Galloway, A., Luettgen, G., Muehlberg, J. T. & Siminiceanu, R. I., 2009, VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION. Jones, N. & MullerOlm, M. (eds.). BERLIN: Springer, Vol. 5403 LNCS. p. 74-88 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2008
On the formal development of safety-critical software
Galloway, A., Iwu, F., McDermid, J. & Toyn, I., 2008, VSTTE: Verified Software Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised. Meyer, B. & Woodcock, J. (eds.). Zurich, Switzerland: Springer, Vol. LNCS 4171. p. 362-373 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2006
Three perspectives in formal engineering
McDermid, J. & Galloway, A., 2006, Formal Methods and Software Engineering, Proceedings. Liu, Z. & He, J. (eds.). BERLIN: Springer, p. 35-54 20 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2005
Proving properties of stateflow models using ISO standard Z and CADIZ
Toyn, I. & Galloway, A., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: Springer, p. 104-123 20 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2000
Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach
Burton, S., Clark, J. A., Galloway, A. & McDermid, J. A., 2000, Proceedings of the NASA Langley Formal Methods Workshop.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
1999
Experiences with the application of discrete formal methods to the development of engine control software
Galloway, A. J., Cockram, T. J. & McDermid, J. A., 1999, DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998. DePaoli, F. & MacLeod, I. (eds.). OXFORD: Pergamon, p. 49-56 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
1998
Towards industrially applicable formal methods: Three small steps, and one giant leap
McDermid, J., Galloway, A., Burton, S., Clark, J., Toyn, I., Tracey, N. & Valentine, S., 1998, SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS. Staples, J., Hinchey, M. & Liu, S. (eds.). LOS ALAMITOS: IEEE Computer Society, p. 76-88 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution