Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs

Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs'. Together they form a unique fingerprint.

Keyphrases

Computer Science