Search Results for 'Promela'

Promela published presentations and documents on DocSlides.

Model-based Kernel Testing for Concurrency Bugs through Cou

by tawny-fly

Moonzoo Kim. , Shin Hong, Changki Hong. Provable ...