Michael G. Hinchey

1969

• Agent technology from a formal perspective
• Applications of formal methods
• Concurrent systems
• High-integrity system specification and design
• Industrial-strength formal methods in practice