Sciweavers

1895 search results - page 29 / 379

» Using ATL for Checking Models

107

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

15 years 6 months ago

Model Checking for Programming Languages using Verisoft

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

89

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

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

92

Voted

DLOG
2007

91views Automated Reasoning» more DLOG 2007»

Model Checking of Restricted CTL* Formulas using ALCK

15 years 4 months ago

Model Checking of Restricted CTL* Formulas using ALCK

Download sunsite.informatik.rwth-aachen.de

Taufiq Rochaeli, Claudia Eckert

claim paper

Read More »

117

FAW
2008
Springer

111views Algorithms» more FAW 2008»

Efficient First-Order Model-Checking Using Short Labels

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

44

Voted

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)

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