en
de
Local
OpenID
:
no help available
no help available
BibSonomy
user
tag
user
group
author
concept
BibTeX key
search:all
::
giuliano.losa
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
display: all,
bookmarks only
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
display: all,
publications only
publications per page:
5
10
20
50
100
publications
(1)
browse
invariants
as tag from all users
related tags
+
assertional
+
completeness
+
cutoff
+
parameterized
+
quantified_invariants
+
verification
concepts
tags
verification
distributed
parameterized
modelchecking
concurrent
isabelle
proof
ioautomata
abstraction
theorem_proving
infinite_state
automated
consensus
simulation
crypto
cutoff
bakery
people
decidability
concurrency
bft
finite_state
liveness
tla
smr
assertional
compositional
reduction
regular
homodel
safety
invariant
composition
model
petri
networkinvariant
algorithms
predicate_abstraction
coverability
tool
automata
sharedmemory
paxos
wsts
faulttolerant
induction
assume_guarantee
symbolic
company
completeness
No matching items.
Symmetry and Completeness in the Analysis of Parameterized Systems
Kedar Namjoshi
.
Verification, Model Checking, and Abstract Interpretation
(
2007
)
Kedar Namjoshi
.
Verification, Model Checking, and Abstract Interpretation
(
2007
)
3 years and a month ago
by
giuliano.losa
2
assertional
completeness
cutoff
invariants
parameterized
quantified_invariants
verification
assertional
completeness
cutoff
invariants
parameterized
quantified_invariants
verification
(0)
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact