Search Sciweavers | Sciweavers

292 search results - page 2 / 59

» Model-checking agent refinement

189

click to vote

FM
2009
Springer

169views Formal Methods» more FM 2009»

Model Checking Linearizability via Refinement

15 years 10 months ago

Download research.microsoft.com

Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...

Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...

claim paper

Read More »

149

Voted

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

16 years 25 days ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

146

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

15 years 12 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

139

click to vote

TC
2010

87views Information Technology» more TC 2010»

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

15 years 5 months ago

Download www.csee.usf.edu

Hao Zheng, Haiqiong Yao, Tomohiro Yoneda

claim paper

Read More »

194

click to vote

AGENTCL
2003
Springer

222views Intelligent Agents» more AGENTCL 2003»

Model Checking for ACL Compliance Verification

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers