| 
|
Quote: occam has a formal semantics; used an interactive transformation system to prove that an occam program satisfied the IEEE floating point standard
topics >
all references >
references m-o >
Topic:
proving concurrent programs
Quotation Skeleton
Thirdly, occam has a rich formal semantics which … have been used to formally establish the correctness … long to be performed by experimental testing. [refs] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: proving concurrent programs (37 items)