Search Sciweavers | Sciweavers

1283 search results - page 71 / 257

» A Survey on Temporal Logics

168

click to vote

TACAS
2001
Springer

125views Algorithms» more TACAS 2001»

Coverage Metrics for Temporal Logic Model Checking

15 years 10 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 »

119

click to vote

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

15 years 10 months ago

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

175

click to vote

CAV
1998
Springer

138views Hardware» more CAV 1998»

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs

15 years 10 months ago

Download hvg.ece.concordia.ca

bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...

Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...

claim paper

Read More »

131

click to vote

JELIA
1998
Springer

62views Artificial Intelligence» more JELIA 1998»

Implicates and Reduction Techniques for Temporal Logics

15 years 10 months ago