官网http://nusmv.fbk.eu/ NuSMV version 2.4.3 安装软件 exe文件,直接安装。 NuSMV is a symbolic model checker developed as a joint project between the Formal Methods group in the Automated Reasoning System division at ITC- IRST, the Model Checking group at Carnegie
SMV-02_Activities1
Odpre drug Activity brez prenosa parametrov iz prvega.
Prenos parametrov na drug activity, puščica za nazaj, zaganjanje poljubnega activityja
清单,清单文件清单清单v njen dodati android:exported =“ true”,potem pa lahko清单v运行/编辑izberemo到aktivn
SMV-03_Activities2
Odpre药物活动brez prenosa parametrov iz prvega。
Prenos parametrov na*活动,puščicaza nazaj,zaganjanje poljubnega活动
清单,清单文件清单清单v njen dodati android:exported =“ true”,potem pa lahko清单v运行/编辑izberemo到aktivnost。
da lahko iz neke aktivnost