Sciweavers

1023 search results - page 8 / 205

» Model Checking: Software and Beyond

116

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

15 years 9 months ago

Descriptive Complexity and Model Checking

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

118

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 8 months ago

Petri Nets, Traces, and Local Model Checking

Download www.brics.dk

Allan Cheng

claim paper

Read More »

131

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

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

140

Voted

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

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

120

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 3 months 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 »