You can use dot notation to specify parameters to methods. For example: return-value = object.method (object.id); However, if you use dot notation to specify an update or output parameter, then SCL ...

Formal methods offer a mathematically rigorous framework for the specification, development and verification of programming languages and software systems. By leveraging techniques such as theorem ...