Sciweavers

3028 search results - page 74 / 606

» Integrating Temporal Logics

139

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

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

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, T. S. E. Maibaum

claim paper

Read More »

121

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 11 months ago

Indexed Flows in Temporal x Modal Logic with Functional Semantics

Download www.matap.uma.es

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

claim paper

Read More »

119

MPC
2010
Springer

172views Mathematics» more MPC 2010»

Temporal Logic Verification of Lock-Freedom

15 years 11 months ago

Temporal Logic Verification of Lock-Freedom

Download mpc-amast2010.fsg.ulaval.ca

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

claim paper

Read More »

169

TACAS
2001
Springer

125views Algorithms» more TACAS 2001»

Coverage Metrics for Temporal Logic Model Checking

15 years 10 months ago

Coverage Metrics for Temporal Logic Model Checking

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 »

121

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

15 years 10 months ago

Introducing Temporal Description Logics

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

« Prev « First page 74 / 606 Last » Next »