Concurrent Systems: Formal Development in Csp

By Michael G. Hinchey

The advent of concurrent systems undoubtedly promises greatly increased processing power. These systems, however, are inherently complex and present many new problems at both the design and impleme...

Functional Programming With Haskell

By Steven A. Jarvis, Michael G. Hinchey

Teaching and Learning Formal Methods

By

Applications of Formal Methods

By

Interest in formal methods continues to grow; unfortunately myths and misconceptions regarding their benefits and application continue to grow also. Applications of Formal Methods is a collection o...

First IEEE International Conference Conference sic on Formal Engineering Methods

By

Industrial Strength Formal Methods in Practice

By Michael G. Hinchey

Agent Technology from a Formal Perspective NASA Monographs in Systems and Software Engineering

By

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government app...

Industrial Strength Formal Methods in Practice Formal Approaches to Computing and Information Technology FACIT

By

Zum 95 The Z Formal Specification Notation 9th International Conference of Z Users Limerick Ireland September 7 9 1995

By

ZUM 97 The Z Formal Specification Notation

By