Browsing by Keywords Promela