Applying software model checking to PALS systems

Min Young Nam, Lui Sha, Sagar Chaki, Cheolgi Kim

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

Fingerprint

Dive into the research topics of 'Applying software model checking to PALS systems'. Together they form a unique fingerprint.

Keyphrases

Computer Science