Sciweavers

1895 search results - page 29 / 379

» Using ATL for Checking Models

35

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

13 years 11 months ago

Model Checking for Programming Languages using Verisoft

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

19

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

13 years 11 months ago

Sequential Circuit Verification Using Symbolic Model Checking

Download www.cadence.com

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...

claim paper

Read More »

17

DLOG
2007

91views Automated Reasoning» more DLOG 2007»

Model Checking of Restricted CTL* Formulas using ALCK

13 years 9 months ago

Model Checking of Restricted CTL* Formulas using ALCK

Download sunsite.informatik.rwth-aachen.de

Taufiq Rochaeli, Claudia Eckert

claim paper

Read More »

26

FAW
2008
Springer

111views Algorithms» more FAW 2008»

Efficient First-Order Model-Checking Using Short Labels

13 years 9 months ago

Efficient First-Order Model-Checking Using Short Labels

Download www.labri.fr

We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...

Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...

claim paper

Read More »

8

BMCBI
2010

58views more BMCBI 2010»

Inference on population history and model checking using DNA sequence and microsatellite data with the software DIYABC (v1.0)

13 years 7 months ago

Inference on population history and model checking using DNA sequence and microsatellite data with the software DIYABC (v1.0)

Download www.biomedcentral.com

Jean-Marie Cornuet, Virgine Ravigné, Arnaud...

claim paper

Read More »

« Prev « First page 29 / 379 Last » Next »