Search Sciweavers | Sciweavers

3028 search results - page 74 / 606

» Integrating Temporal Logics

click to vote

KBSE
2002
IEEE

110views Software Engineering» more KBSE 2002»

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

14 years 2 months ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, T. S. E. Maibaum

claim paper

Read More »

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

14 years 2 months ago

Download www.matap.uma.es

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

claim paper

Read More »

click to vote

MPC
2010
Springer

172views Mathematics» more MPC 2010»

Temporal Logic Verification of Lock-Freedom

14 years 2 months ago

Download mpc-amast2010.fsg.ulaval.ca

Bogdan Tofan, Simon Bäumler, Gerhard Schellho...

claim paper

Read More »

click to vote

TACAS
2001
Springer

125views Algorithms» more TACAS 2001»

Coverage Metrics for Temporal Logic Model Checking

14 years 2 months ago

Download www.cs.huji.ac.il

In formal veriﬁcation, we verify that a system is correct with respect to a speciﬁcation. Even when the system is proven to be correct, there is still a question of how complet...

Hana Chockler, Orna Kupferman, Moshe Y. Vardi

claim paper

Read More »

click to vote

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers