Sciweavers

12981 search results - page 248 / 2597

» Model Checking (Abstract)

59

TOIS
1998

61views more TOIS 1998»

Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking

15 years 3 months ago

Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking

Download www.cparity.com

P. David Stotts, Richard Furuta, Cyrano Ruiz Cabar...

claim paper

Read More »

102

Voted

TOPLAS
1998

45views more TOPLAS 1998»

Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications

15 years 3 months ago

Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications

Download people.csail.mit.edu

Daniel Jackson, Somesh Jha, Craig Damon

claim paper

Read More »

96

Voted

TOCL
2002

54views more TOCL 2002»

Datalog LITE: a deductive query language with linear time model checking

15 years 3 months ago

Datalog LITE: a deductive query language with linear time model checking

Download reference.kfupm.edu.sa

Georg Gottlob, Erich Grädel, Helmut Veith

claim paper

Read More »

135

CORR
2008
Springer

110views Education» more CORR 2008»

The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments

15 years 3 months ago

The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments

Download www.minet.uni-jena.de

In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the se...

Michael Bauland, Martin Mundhenk, Thomas Schneider...

claim paper

Read More »

106

Voted

ENTCS
2008

97views more ENTCS 2008»

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

15 years 3 months ago

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Ivana Cerná, Sven ...

claim paper

Read More »

« Prev « First page 248 / 2597 Last » Next »