Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: StarL: Towards a Unified Framework for Programming, Simulating and
  Verifying Distributed Robotic Systems   We developed StarL as a framework for programming, simulating, and verifying
distributed systems that interacts with physical processes. StarL framework has
(a) a collection of distributed primitives for coordination, such as mutual
exclusion, registration and geocast that can be used to build sophisticated
applications, (b) theory libraries for verifying StarL applications in the PVS
theorem prover, and (c) an execution environment that can be used to deploy the
applications on hardware or to execute them in a discrete event simulator. The
primitives have (i) abstract, nondeterministic specifications in terms of
invariants, and assume-guarantee style progress properties, (ii)
implementations in Java/Android that always satisfy the invariants and attempt
progress using best effort strategies. The PVS theories specify the invariant
and progress properties of the primitives, and have to be appropriately
instantiated and composed with the application's state machine to prove
properties about the application. We have built two execution environments: one
for deploying applications on Android/iRobot Create platform and a second one
for simulating large instantiations of the applications in a discrete even
simulator. The capabilities are illustrated with a StarL application for
vehicle to vehicle coordination in a automatic intersection that uses
primitives for point-to-point motion, mutual exclusion, and registration.

2
The categories of this paper are: math
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
15
The categories of this paper are: nucl-ex
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
14
The categories of this paper are: math-ph