◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Microsoft Research (India)

India

7 papers here22 citations across 7
fields
  • math.PR2
  • cs.DC1
  • cs.DS1
  • cs.LO1
  • cs.NI1
  • physics.soc-ph1
ROR 02w7f3w92OpenAlex

affiliations via OpenAlex

output
20052009
most citedA TLA+ Proof System

17 citations

researchers with a paper here
  • A. Basu1
  • A. Deshpande1
  • A. D. Sarma1
  • A. Holroyd1 · h 26
  • Animesh Mukherjee1
  • Anurag Kumar1
  • Damien Doligez1
  • D. Malkhi1 · h 63
  • E. Lubetzky1 · h 33
  • G. Manku1 · h 18
  • Ittai Abraham1 · h 53
  • Janko Gravner1 · h 22
collaborating institutions
  • Georgia Institute of TechnologyUS1 paper
  • Google (United States)US1 paper
  • Hebrew University of JerusalemIL1 paper
  • Indian Institute of Science BangaloreIN1 paper
  • Indian Institute of Technology KharagpurIN1 paper
  • Institut national de recherche en sciences et technologies du numériqueFR1 paper
  • Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR1 paper
  • Microsoft Research (United Kingdom)GB1 paper
  • Microsoft (United States)US1 paper
  • Tel Aviv UniversityIL1 paper
  • University of British ColumbiaCA1 paper
  • University of California, DavisUS1 paper
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2008★ 17 cited

A TLA+ Proof System

Kaustuv C. Chaudhuri, Damien Doligez, Leslie Lamport +1

We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The l…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.