VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
Algorithm	On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering
Automata	Model Checking Distributed Consensus Algorithms
automated theorem proving	Having SPASS with Pastry and TLA+
B
binary decision diagram	Models and techniques for verification of Software Defined Networks
Byzantine Failures	Synthesizing self-stabilizing fault-tolerant algorithms (extended abstract) Synthesis for Resilient Distributed Systems
C
circuits	Towards binary circuit models that faithfully reflect physical (un)solvability
concurrency	Concurrent Data Structures: Semantics and (Quantitative) Relaxation
Concurrent stack	A Fast, Correct Time-Stamped Stack
consensus	Mechanical Verification of a Constructive Proof for FLP A Logic-based Framework for Verifying Consensus Algorithms
context-free sets of graphs	Parameterised Verification of Robot Protocols: An Automata Theoretic Approach
controller	Models and techniques for verification of Software Defined Networks
Correctness Proofs	Correctness and Performance Analysis of Distributed High Performance Programs in Scala
crash-tolerant	Mechanical Verification of a Constructive Proof for FLP
cutoff	Model-Checking of Parameterized Timed-Systems
D
data structures	Concurrent Data Structures: Semantics and (Quantitative) Relaxation
distributed algorithms	Model-Checking of Parameterized Timed-Systems Model Checking Distributed Consensus Algorithms Synthesizing self-stabilizing fault-tolerant algorithms (extended abstract) A Logic-based Framework for Verifying Consensus Algorithms
distributed system	Round model for distributed algorithms: from verification to implementation.
Distributed Systems	Parameterized Synthesis Synthesis for Resilient Distributed Systems Having SPASS with Pastry and TLA+
Distributed-Algorithms	Correctness and Performance Analysis of Distributed High Performance Programs in Scala
F
Failure Resilience	Synthesis for Resilient Distributed Systems
fault-tolerance	Round model for distributed algorithms: from verification to implementation.
flow-table	Models and techniques for verification of Software Defined Networks
FLP	Mechanical Verification of a Constructive Proof for FLP
formal methods	On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering Synthesis for Resilient Distributed Systems
formal model	Models and techniques for verification of Software Defined Networks
Formal verification	A Logic-based Framework for Verifying Consensus Algorithms
forwarding rule	Models and techniques for verification of Software Defined Networks
G
Gathering	On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering
I
Isabelle/HOL	Mechanical Verification of a Constructive Proof for FLP
L
Linearizability	A Fast, Correct Time-Stamped Stack
LTL	Model Checking Distributed Consensus Algorithms
M
Mobile Robots	On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering
model checking	Model Checking Distributed Consensus Algorithms Models and techniques for verification of Software Defined Networks Monotonic Abstraction Techniques: from Parametric to Software Model Checking
models	Towards binary circuit models that faithfully reflect physical (un)solvability
monadic second order logic	Parameterised Verification of Robot Protocols: An Automata Theoretic Approach
monotonic abstraction	Monotonic Abstraction Techniques: from Parametric to Software Model Checking
Multicore shared-memory system	A Fast, Correct Time-Stamped Stack
N
network update	Models and techniques for verification of Software Defined Networks
P
parameterised verification	Parameterised Verification of Robot Protocols: An Automata Theoretic Approach
parameterized model checking	Model-Checking of Parameterized Timed-Systems Parameterized Synthesis
Pastry	Having SPASS with Pastry and TLA+
peer-to-peer protocols	Having SPASS with Pastry and TLA+
Performance-Analysis	Correctness and Performance Analysis of Distributed High Performance Programs in Scala
R
reactive synthesis	Parameterized Synthesis
real-time systems	Model-Checking of Parameterized Timed-Systems
relaxation	Concurrent Data Structures: Semantics and (Quantitative) Relaxation
robot protocols	Parameterised Verification of Robot Protocols: An Automata Theoretic Approach
round model	Round model for distributed algorithms: from verification to implementation.
S
Satisfiability Modulo Theories	Monotonic Abstraction Techniques: from Parametric to Software Model Checking
self-stabilization	Synthesizing self-stabilizing fault-tolerant algorithms (extended abstract) Synthesis for Resilient Distributed Systems
SMT	Parameterized Synthesis Synthesis for Resilient Distributed Systems
software defined network	Models and techniques for verification of Software Defined Networks
solvability/unsolvability of problems	Towards binary circuit models that faithfully reflect physical (un)solvability
SPASS	Having SPASS with Pastry and TLA+
specification	Models and techniques for verification of Software Defined Networks
Specification Testing	Correctness and Performance Analysis of Distributed High Performance Programs in Scala
switch	Models and techniques for verification of Software Defined Networks
synthesis	On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering Synthesizing self-stabilizing fault-tolerant algorithms (extended abstract) Round model for distributed algorithms: from verification to implementation. Synthesis for Resilient Distributed Systems
T
theorem prover	Mechanical Verification of a Constructive Proof for FLP
time	Towards binary circuit models that faithfully reflect physical (un)solvability
timed automata	Model-Checking of Parameterized Timed-Systems
TLA+	Having SPASS with Pastry and TLA+
token-passing systems	Parameterised Verification of Robot Protocols: An Automata Theoretic Approach
tree automata	Parameterised Verification of Robot Protocols: An Automata Theoretic Approach
V
verification	Having SPASS with Pastry and TLA+
verificiation	Round model for distributed algorithms: from verification to implementation.

Disclaimer | Powered by EasyChair Smart Program