Search Sciweavers | Sciweavers

292 search results - page 2 / 59

» Model-checking agent refinement

116

Voted

FM
2009
Springer

169views Formal Methods» more FM 2009»

Model Checking Linearizability via Refinement

15 years 4 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 »

Voted

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

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

15 years 6 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

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 5 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

click to vote

TC
2010

87views Information Technology» more TC 2010»

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

14 years 10 months ago

Download www.csee.usf.edu

Hao Zheng, Haiqiong Yao, Tomohiro Yoneda

claim paper

Read More »

115

click to vote

AGENTCL
2003
Springer

222views Intelligent Agents» more AGENTCL 2003»

Model Checking for ACL Compliance Verification

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers