Search Sciweavers | Sciweavers

3224 search results - page 249 / 645

» On Checking Model Checkers

147

Voted

FM
2006
Springer

169views Formal Methods» more FM 2006»

PSL Model Checking and Run-Time Verification Via Testers

15 years 8 months ago

Download cs.nyu.edu

Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...

Amir Pnueli, Aleksandr Zaks

claim paper

Read More »

143

click to vote

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

15 years 8 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

161

click to vote

AGENTCL
2003
Springer

222views Intelligent Agents» more AGENTCL 2003»

Model Checking for ACL Compliance Verification

15 years 8 months ago

Download www.csc.liv.ac.uk

Marc-Philippe Huget, Michael Wooldridge

claim paper

Read More »

130

Voted

CAV
2001
Springer

100views Hardware» more CAV 2001»

Model Checking the World Wide Web

15 years 8 months ago

Download users.soe.ucsc.edu

Luca de Alfaro

claim paper

Read More »

115

Voted

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers