Showing 1 - 20 results of 76 for search '"model checking"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - "model checking"

Search Results

Showing 1 - 20 results of 76 for search '"model checking"', query time: 1.27s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

Model Checking Unbounded Concurrent Lists

by Divjyot Sethi, Muralidhar Talupur, Sharad Malik
“...Abstract. We present a method for model checking list-based concurrent data structures. These data...”

Get access
Get access

Text
Select result number 2
2

A Model-Checking Tool for Families of Services

by Asirelli, Patrizia, ter Beek, Maurice, Fantechi, Alessandro, Gnesi, Stefania
Published 2011
“...International audience We propose a model-checking tool for on-the-fly verification of properties...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 3
3

A Model-Checking Tool for Families of Services

by Asirelli, Patrizia, ter Beek, Maurice, Fantechi, Alessandro, Gnesi, Stefania
Published 2011
“...International audience We propose a model-checking tool for on-the-fly verification of properties...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 4
4

On Expressiveness and Complexity in Real-time Model Checking

by Bouyer, Patricia, Markey, Nicolas, Ouaknine, Joël, Worrell, James
Published 2008
“...-checking problem has the same complexity as that of~MITL. We~conclude that for model checking the most...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 5
5

A Model-Checking Tool for Families of Services

by Asirelli, Patrizia, ter Beek, Maurice, H., Fantechi, Alessandro, Gnesi, Stefania
Published 2011
“...International audience We propose a model-checking tool for on-the-fly verification of properties...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 6
6

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O'Hallaron
Published 1999

Get access
Get access

Text
Select result number 7
7

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O’Hallaron
Published 1999

Get access
Get access

Text
Select result number 8
8

Partial Order Methods for Statistical Model Checking and Simulation

by Bogdoll, Jonathan, Ferrer Fioriti, Luis, Hartmanns, Arnd, Hermanns, Holger
Published 2011
“...International audience Statistical model checking has become a promising technique to circumvent...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 9
9

Partial Order Methods for Statistical Model Checking and Simulation

by Bogdoll, Jonathan, Ferrer Fioriti, Luis, Hartmanns, Arnd, Hermanns, Holger
Published 2011
“...International audience Statistical model checking has become a promising technique to circumvent...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 10
10

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O'hallaron
Published 1999
Subjects: “...symbolic model checking...”

Get access
Get access

Text
Select result number 11
11

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O’Hallaron
Published 1999
Subjects: “...symbolic model checking...”

Get access
Get access

Text
Select result number 12
12

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal Bryant, David O'Hallaron
Published 2018

Get access
Get access

Other Non-Article Part of Journal/Newspaper
Select result number 13
13

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O’Hallaron
Published 2018

Get access
Get access

Other Non-Article Part of Journal/Newspaper
Select result number 14
14

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O’hallaron
Published 1999

Get access
Get access

Text
Select result number 15
15

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Yang, Bwolen, Simmons, Reid, Bryant, Randal E., O'Hallaron, David R.
Published 1999
Subjects: “...*SYMBOLIC MODEL CHECKING...”

Get access
Get access

Text
Select result number 16
16

Optimizing Symbolic Model Checking for Constraint-Rich Models ...

by Bwolen Yang, Simmons, Reid, Bryant, Randal E., O’Hallaron, David R.
Published 2006

Get access
Get access

Other Non-Article Part of Journal/Newspaper
Select result number 17
17

Optimizing Symbolic Model Checking for Constraint-Rich Models ...

by Bwolen Yang, Simmons, Reid, Bryant, Randal, O'Hallaron, David
Published 1999

Get access
Get access

Other Non-Article Part of Journal/Newspaper
Select result number 18
18

Optimizing Symbolic Model Checking for Constraint-Rich Models ...

by Bwolen Yang, Simmons, Reid, Bryant, Randal, O'Hallaron, David
Published 1999

Get access
Get access

Other Non-Article Part of Journal/Newspaper
Select result number 19
19

Optimizing Symbolic Model Checking for Constraint-Rich Models ...

by Bwolen Yang, Simmons, Reid, Bryant, Randal E., O’Hallaron, David R.
Published 2006

Get access
Get access

Other Non-Article Part of Journal/Newspaper
Select result number 20
20

The implementation of BIM within the public procurement:A model-based approach for the construction industry

by Bolpagni, Marzia
Published 2013
Subjects: “...Model Checking...”

Get access
Get access

Book