Search Sciweavers | Sciweavers

411 search results - page 14 / 83

» Timed Alternating-Time Temporal Logic

click to vote

FUIN
2010

172views more FUIN 2010»

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

13 years 7 months ago

Download home.hib.no

Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...

Michal Knapik, Wojciech Penczek, Maciej Szreter, A...

claim paper

Read More »

click to vote

CMSB
2007
Springer

104views Applied Computing» more CMSB 2007»

On the Analysis of Numerical Data Time Series in Temporal Logic

14 years 4 months ago

Download www.nesc.ac.uk

François Fages, Aurélien Rizk

claim paper

Read More »

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

14 years 2 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

click to vote

CONCUR
1997
Springer

86views Distributed And Parallel Com...» more CONCUR 1997»

A Product Version of Dynamic Linear Time Temporal Logic

14 years 2 months ago

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

click to vote

LICS
1996
IEEE

99views Automated Reasoning» more LICS 1996»

A Temporal-Logic Approach to Binding-Time Analysis

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers