Search Sciweavers | Sciweavers

10870 search results - page 266 / 2174

» Model Checking Programs

125

click to vote

FM
2006
Springer

169views Formal Methods» more FM 2006»

PSL Model Checking and Run-Time Verification Via Testers

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

120

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

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

135

click to vote

AGENTCL
2003
Springer

222views Intelligent Agents» more AGENTCL 2003»

Model Checking for ACL Compliance Verification

15 years 6 months ago

Download www.csc.liv.ac.uk

Marc-Philippe Huget, Michael Wooldridge

claim paper

Read More »

100

click to vote

CAV
2001
Springer

100views Hardware» more CAV 2001»

Model Checking the World Wide Web

15 years 6 months ago

Download users.soe.ucsc.edu

Luca de Alfaro

claim paper

Read More »

click to vote

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers