Search Sciweavers | Sciweavers

2872 search results - page 170 / 575

» On (Omega-)Regular Model Checking

173

click to vote

FM
2006
Springer

169views Formal Methods» more FM 2006»

PSL Model Checking and Run-Time Verification Via Testers

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

167

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

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

185

click to vote

AGENTCL
2003
Springer

222views Intelligent Agents» more AGENTCL 2003»

Model Checking for ACL Compliance Verification

15 years 10 months ago

Download www.csc.liv.ac.uk

Marc-Philippe Huget, Michael Wooldridge

claim paper

Read More »

145

click to vote

CAV
2001
Springer

100views Hardware» more CAV 2001»

Model Checking the World Wide Web

15 years 10 months ago

Download users.soe.ucsc.edu

Luca de Alfaro

claim paper

Read More »

130

click to vote

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers