Showing
1 - 5
results of
5
for search '
"model checking"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Content Provider:
Université de Nantes: HAL-UNIV-NANTES
Reset Filters
Show filters (1)
Content Provider:
Université de Nantes: HAL-UNIV-NANTES
Search Results - Open Polar - "model checking"
Search Results
Showing
1 - 5
results of
5
for search '
"model checking"
'
, query time: 0.06s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
A
Model
-
Checking
Tool for Families of Services
Get access
Get access
Get access
Get access
Counterexample Generation for Markov Chains Using SMT-Based Bounded
Model
Checking
Get access
Get access
Get access
Get access
Towards Verification of the Pastry Protocol using TLA+
Get access
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
Get access
Get access
Get access
Galois Connections for Flow Algebras
Get access
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Conference Object
5
Author
Asirelli, Patrizia
1
Becker, Bernd
1
Braitling, Bettina
1
Fantechi, Alessandro
1
Filipiuk, Piotr
1
Gnesi, Stefania
1
Hartmanns, Arnd
1
Jansen, Nils
1
Legay, Axel
1
Lu, Tianxiang
1
Merz, Stephan
1
Nielson, Flemming
1
Nielson, Hanne,
1
Sedwards, Sean
1
Terepeta, Michał
1
Weidenbach, Christoph
1
Wimmer, Ralf
1
d'Argenio, Pedro,
1
ter Beek, Maurice,
1
Ábrahám, Erika
1
see all ...
Topic
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
3
[INFO]Computer Science [cs]
3
ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems
1
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs
1
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods
1
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
1
[INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
1
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
1
formal specification
1
model checking
1
network protocols
1
verification methods
1
see all ...
Content Provider
Université de Nantes: HAL-UNIV-NANTES
Language
English
5
Open Polar Keyword
Iceland
5
Loading...