prahlad's profile

Recent Activity

• 09:30: posted The event-B Modelling Method: Concepts and Case Studies
• 09:25: posted The B-book: assigning programs to meanings
• 08:25: posted High Level System Design and Analysis Using Abstract State Machines
• 07:40: posted Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
• 06:46: posted A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation
• 06:41: posted A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control
• 04:37: posted Systematic software development using VDM (2nd ed.)
• 04:18: posted Introduction to Formal Specification and Z (2nd Edition)
• 03:52: posted M\'{e}t\'{e}or: A Successful Application of B in a Large Project
• 03:25: posted Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

• 09:16: posted Abstract State Machines: A Method for High-Level System Design and Analysis
• 08:53: posted Evolving Algebras 1993: Lipari Guide

• 17:10: posted Statestep: A Tool for Systematic, Incremental Specification
• 13:56: posted An introduction to automata theory