Search Sciweavers | Sciweavers

1283 search results - page 70 / 257

» A Survey on Temporal Logics

122

click to vote

CAV
2003
Springer

106views Hardware» more CAV 2003»

Enhanced Vacuity Detection in Linear Temporal Logic

16 years 2 days ago

Download www.doc.ic.ac.uk

Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumber...

claim paper

Read More »

124

click to vote

CAV
2003
Springer

140views Hardware» more CAV 2003»

TLQSolver: A Temporal Logic Query Checker

16 years 2 days ago

Download www.cs.toronto.edu

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

153

click to vote

KBSE
2002
IEEE

110views Software Engineering» more KBSE 2002»

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems

15 years 11 months ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, T. S. E. Maibaum

claim paper

Read More »

130

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 11 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inman P. de Guzmán, Emili...

claim paper

Read More »

127

click to vote

MPC
2010
Springer

172views Mathematics» more MPC 2010»

Temporal Logic Verification of Lock-Freedom

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers