Login / Signup
Anatoly Chebotarev
Publication Activity (10 Years)
Years Active: 2006-2013
Publications (10 Years): 0
Top Topics
Formal Specification
Model Checker
Modeling Language
Temporal Properties
Top Venues
EWDTS
</>
Publications
</>
Anatoly Chebotarev
Verification of specifications in the language L with respect to temporal properties expressible by GR(1) formulas.
EWDTS
(2013)
Anatoly Chebotarev
,
Sergey Krivoi
Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L.
Ershov Memorial Conference
(2006)