Board index » delphi » Pascal & Formal Methods

Pascal & Formal Methods

Has anyone any experience of formally
specifying a system (preferably in Z) and then
refining it and implermenting it in Pascal

 

Re:Pascal & Formal Methods


Has anyone any experience of formally
specifying a system (preferably in Z) and then
refining it and implermenting it in Pascal

Re:Pascal & Formal Methods


Has anyone any experience of formally
specifying a system (preferably in Z) and then
refining it and implermenting it in Pascal

Other Threads