Developing model checkers using PAT

Developing model checkers using PAT

10.1007/978-3-642-15643-4_30

Saved in:

書目詳細資料
Main Authors:	Liu, Y., Sun, J., Dong, J.S.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/40014
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

Developing model checkers using PAT
由: LIU, Yang, et al.
出版: (2010)

PAT 3: An extensible architecture for building multi-domain model checkers
由: Liu, Y., et al.
出版: (2013)

PAT 3: An extensible architecture for building multi-domain model checkers
由: LIU, Yang, et al.
出版: (2011)

Model checking with fairness assumptions using PAT
由: Si, Y., et al.
出版: (2014)

Build your own model checker in one month
由: Dong, J.S., et al.
出版: (2014)

A model checker for hierarchical probabilistic real-time systems
由: Song, S., et al.
出版: (2013)

Translating PDDL into CSP# - The PAT Approach
由: Li, Y., et al.
出版: (2013)

PAT: Towards flexible verification under fairness
由: Sun, J., et al.
出版: (2013)

Towards a model checker for NesC and wireless sensor networks
由: Zheng, M., et al.
出版: (2013)

USMMC: A self-contained model checker for UML state machines
由: Liu, S., et al.
出版: (2014)

Verification of population ring protocols in PAT
由: Liu, Y., et al.
出版: (2013)

Translating PDDL into CSP# - The PAT approach
由: LI, Yi, et al.
出版: (2012)

A model checker for hierarchical probabilistic real-time systems
由: SONG, Songzheng, et al.
出版: (2012)

From verified model to executable program: the PAT approach
由: Zhu, Huiquan, et al.
出版: (2017)

ACARP: Auto correct activity recognition rules using process analysis toolkit (PAT)
由: Lee, V.Y., et al.
出版: (2013)

PAT: Towards flexible verification under fairness
由: SUN, Jun, et al.
出版: (2009)

Intelligent checkers
由: Alino, Emily R., et al.
出版: (1993)

USMMC: A self-contained model checker for UML state machines
由: LIU, Shuang, et al.
出版: (2013)

Principles of the Spin model checker
由: Mordechai Ben-Ari
出版: (2017)

Towards a model checker for NesC and wireless sensor networks
由: ZHENG, Manchun, et al.
出版: (2011)

Verification of population ring protocols in PAT
由: LIU, Yang, et al.
出版: (2009)

Model Checking Stochastic Systems in PAT
由: SONG SONGZHENG
出版: (2013)

Model checking a model checker: A code contract combined approach
由: SUN, Jun, et al.
出版: (2010)

Developing a grammar checker for Filipino using language tool
由: Oco, Nathaniel A., et al.
出版: (2011)

Model checking concurrent and real-time systems : the PAT approach
由: LIU YANG
出版: (2010)

A memory model sensitive checker for C#
由: Huynh, T.Q., et al.
出版: (2013)

Wire layout checker
由: Raja Ravi
出版: (2008)

MIRACH: Efficient model checker for quantitative biological pathway models
由: Koh, C.H., et al.
出版: (2013)

Generating Hardware Assertion Checkers
由: Boulé, Marc, et al.
出版: (2017)

Algorithm development for PAT in intersatellite laser (ISL) cross-links
由: Tharaparambil Joseph, Lijo Casper.
出版: (2009)

Developing an unsupervised grammar checker for Filipino using hybrid n-grams as grammar rules
由: Go, Matthew Phillip, et al.
出版: (2016)

GraSp: Grammar and Spelling checker
由: Lao, Jocelyn Grace T., et al.
出版: (1996)

RIS home checker: Source code
由: Inamarga, Harold N.
出版: (2006)

Finding an optimal solution for the game of checkers
由: Delena, Raymund E., et al.
出版: (1996)

Summary and findings on faculty checker's report
由: Canasa, Carmel Elaine V.
出版: (2016)

Developing home stay tourism in Ban Bang Pat, Changwat Phang-Nga
由: Nalinporn Boonrodrak
出版: (2015)

Deriving invariant checkers for critical infrastructure using axiomatic design principles
由: YOONG, Cheah Huei, et al.
出版: (2021)

Force and motion analyses of the human patting gesture for robotic social touching
由: Cabibihan, J.-J., et al.
出版: (2014)

STUDI EKSPERIMENTAL SISTEM POMPA SEBAGAI TURBIN (PAT)
由: , OCTAVIANUS, et al.
出版: (2014)

Development of high speed video imaging as a process analytical technology (PAT) tool
由: WANG LIKUN
出版: (2011)