“Prism(model checker)”的意思、由来-开放百科全书

词条	Prism(model checker)
释义	SeePRISM model checker
随便看	Chambain Chambakka Chambal (disambiguation) Chambal Fertilisers Chambal Ki Raani Chambal Ki Rani Chambal river Chamba, Mansehra Chambani Cham Bank Chamba, NWFP Chamba people Chambar Chambara District Chambar Taluka Chambastan Dam Chamba State Chamba–Mumuye languages Chambeire Chambellan Chambellay Chambeon Chamberat Chamberaud Chamber ballet

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。