Behavioural Specification System
Project description
A formal specification language and tools based on high-school mathematics - sets theory, functions, arithmetics and Boolean algebra
Behavioural Specification System
A formal specification language and tools based on high-school mathematics - sets theory, functions, arithmetics and Boolean algebra