Search Sciweavers | Sciweavers

647 search results - page 7 / 130

» Generic Trace Logics

148

click to vote

DAC
2006
ACM

115views Computer Architecture» more DAC 2006»

Guiding simulation with increasingly refined abstract traces

16 years 6 months ago

Download www.cs.ucr.edu

Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...

Kuntal Nanshi, Fabio Somenzi

claim paper

Read More »

click to vote

BPM
2007
Springer

121views Business» more BPM 2007»

Inducing Declarative Logic-Based Models from Labeled Traces

15 years 12 months ago

Download bpm07.fit.qut.edu.au

Evelina Lamma, Paola Mello, Marco Montali, Fabrizi...

claim paper

Read More »

122

click to vote

CONCUR
2005
Springer

76views Distributed And Parallel Com...» more CONCUR 2005»

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

15 years 11 months ago

Download www.liafa.jussieu.fr

Paul Gastin, Dietrich Kuske

claim paper

Read More »

140

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

15 years 10 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

100

click to vote

CORR
2004
Springer

88views Education» more CORR 2004»

A Trace Logic for Local Security Properties

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers