P. G. Larsen

Added entries UNIVERSITY OF NEWCASTLE UPON TYNE (2007)

J. S. Fitzgerald, P. G. Larsen, J. S. Fitzgerald, P. G. Larsen

The “lightweight formal methods ” paradigm emphasises the use of abstract modelling as an aid to understanding and design of computer-based systems. It advocates careful targeting of formal...

M.: Validation Support for Distributed RealTime Embedded Systems in VDM (2007)

J. S. Fitzgerald, J. S. Fitzgerald, P. G. Larsen, P. G. Larsen, S. Tjell, S. Tjell, ...

We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system architects with rapid...

Added entries UNIVERSITY OF NEWCASTLE UPON TYNE (2006)

J. S. Fitzgerald, P. G. Larsen, N. Plat, John S. Fitzgerald, Peter Gorm Larsen, Nico Plat (eds

This report contains contributions to the first international workshop on Overture, a community project to develop open source interoperable tools for the formal modelling and analysis of computing...

UNIVERSITY OF NEWCASTLE UPON TYNE (2006)

P. G. Larsen, J. S. Fitzgerald, S. Riddle, P. G. Larsen, J. S. Fitzgerald, S. Riddle, ...

We describe the design and delivery of two courses that aim to develop skills of use to students in their subsequent professional practice, whether or not they are directly applying formal methods....

UNIVERSITY OF NEWCASTLE UPON TYNE (2006)

P. G. Larsen, J. S. Fitzgerald, S. Riddle, P. G. Larsen, J. S. Fitzgerald, S. Riddle, ...

We describe the design and delivery of two courses that aim to develop skills of use to students in their subsequent professional practice, whether or not they are directly applying formal methods....

Formal modelling and simulation in the development of a security-critical message processing system (1995)

P. G. Larsen, J. S. Fitzgerald, T. M. Brookes, M. A. Green

This paper describes an experiment evaluating the application of formal techniques to the modelling and development of a security-critical system to high (ITSEC) levels of assurance. The experiment...

Recent books on Formal Methods (Bibliography) (1995)

Cliff Jones, Semantics Prentice-hall, P. G. Larsen

Data Types and Modula-2. Prentice-Hall, 1994. [Mor90] Carroll Morgan. Programming from Specifications. Prentice-Hall, 1990. [Mor94] Carroll Morgan. Programming from Specifications. Prentice-Hall...

Formal Specification Techniques in the Commercial Development Process (1995)

John S. Fitzgerald, Peter Gorm Larsen, P G Larsen

This paper describes the lessons learned from an application of formal specification techniques in the development of a security-critical system within a UK company. The authors advocate the gradual...

Formal and Informal Specifications of a Secure System Component: first results in a comparative study (1994)

Fitzgerald Brookes, J. S. Fitzgerald, T. M. Brookes, M. A. Green, P. G. Larsen

. This paper presents initial results in a comparative study of formal and conventional techniques in the design of a secure system component: a trusted gateway. The operation of a trusted gateway is...

Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study (1994)

Brookes Fitzgerald, T. M. Brookes, J. S. Fitzgerald, P. G. Larsen

. This paper presents the findings from the later phases of a study of the effects of introducing formal specification to the commercialscale development of a small security-critical system...

Formal and informal specifications of a secure system component: First results in a comparative study (1994)

T. M. Brookes, J. S. Fitzgerald, P. G. Larsen

Abstract. This paper presents the findings from the later phases of a study of the effects of introducing formal specification to the commercialscale development of a small security-critical system...

[12] Sam Owre, John Rushby, Natarajan Shankar, and Friedrich von Henke. Formal verification for fault-tolerant architectures: Some lessons learned. In J. C. P. Woodcock and P. G. Larsen, editors, (1993)

Sam Owre, John Rushby, Natarajan Shankar, P. G. Larsen, Fme Industrial-Strength

Introduction, volume 121 and volume 123 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, Holland, 1988. In two volumes. References

Making Specifications Executable - Using IPTES Meta-IV (1992)

M. Andersen, R. Elmstrøm, P.G. Larsen

This article discusses the extra effort required to make specifications executable. With an origin in essential (but in general non-executable) specification techniques and specification language...

Added entries UNIVERSITY OF NEWCASTLE UPON TYNE (1099)

J. S. Fitzgerald, P. G. Larsen, S. Sahara, John Fitzgerald, Peter Gorm Larsen, Shin Sahara

This report contains proceedings of the Fourth International Workshop of the Overture group (www.overturetool.org) whose aim is to develop the next generation of tools supporting the Vienna...

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM (1059)

H. D. Macedo, P. G. Larsen, J. Fitzgerald, Hugo D. Macedo, Peter G. Larsen, John Fitzgerald, ...

The construction of formal models of real-time distributed systems is a considerable practical challenge. We propose and illustrate a pragmatic incremental approach in which detail is progressively...

Added entries (1057)

J. S. Fitzgerald, P. G. Larsen, S. Sahara, John Fitzgerald, Peter G. Larsen, Shin Sahara

VDMTools: advances in support for formal modeling in VDM

UNIVERSITY OF NEWCASTLE UPON TYNE (1031)

J. S. Fitzgerald, P. G. Larsen, J. S. Fitzgerald, P. G. Larsen, J. S. Fitzgerald, P. G. Larsen

This paper is a contribution to the Festschrift marking the 70th birthdays of Prof. Dines Bjoerner and Prof. Zhou Chaochen. Our goal is to help the developers of computer-based systems to make...