原创力文档- 7
- 0
- 约6.03万字
- 约 19页
- 2017-04-19 发布于湖北
- 举报
TheBeginningofModelChecking
The Beginning of Model Checking:
A Personal Perspective?
E. Allen Emerson1,2
1. Department of Computer Sciences
2. Computer Engineering Research Center
The University of Texas at Austin,
Austin TX 78712, USA
Abstract. Model checking provides an automated method for verify-
ing concurrent systems. Correctness speci?cations are given in tempo-
ral logic. The method hinges on an e?cient and ?exible graph-theoretic
reachability algorit
您可能关注的文档
- ABayesianSemi-parametricModel.PDF
- Adynamicbayesiannetworkclickmodelforwebsearch.PDF
- ACoupledHeatTransferModelforSimulationofContinuous.PDF
- 80位艺术家雕塑生命哲学与自然.PDF
- activeexplorationoflarge3dmodelrepositories-Repositories.PDF
- AlternativeTeacherEducationModel.PDF
- AN10957GenericAccessControlDataModel-AN10957.PDF
- AN232C-04WindowsCombinedDriverModel-Future.PDF
- APAmodellegislationforprescriptiveauthority-AMERICAN.PDF
- AMultifractalModelofAsset.PDF
文档评论（0）