Sciweavers

1023 search results - page 8 / 205

» Model Checking: Software and Beyond

87

Voted

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

15 years 5 months ago

Descriptive Complexity and Model Checking

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

82

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 5 months ago

Petri Nets, Traces, and Local Model Checking

Download www.brics.dk

Allan Cheng

claim paper

Read More »

97

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 3 months ago

Model Checking of Control-User Component-Based Parametrised Systems

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

103

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

15 years 1 months ago

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

Download www.cs.toronto.edu

Steve M. Easterbrook, Marsha Chechik

claim paper

Read More »

85

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 1 days ago

Model Checking Is Static Analysis of Modal Logic

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

« Prev « First page 8 / 205 Last » Next »