Search Sciweavers | Sciweavers

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 »

187

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 »

146

click to vote

CAV
2001
Springer

100views Hardware» more CAV 2001»

Model Checking the World Wide Web

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers