BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
formal (3)
verif (3)
proof (3)
specif (3)
system (2)

Stem tla$ (all stems)

13 papers:

FMFM-2012-CousineauDLMRV #proving
TLA + Proofs (DC, DD, LL, SM, DR, HV), pp. 147–154.
FMFM-2012-PlaggeL #using #validation
Validating B, Z and TLA + Using ProB and Kodkod (DP, ML), pp. 372–386.
IFMIFM-2012-HansenL #validation
Translating TLA + to B for Validation with ProB (DH, ML), pp. 24–38.
IJCARIJCAR-2010-ChaudhuriDLM #proving #safety #verification
Verifying Safety Properties with the TLA+ Proof System (KC, DD, LL, SM), pp. 142–148.
PPoPPPPoPP-2008-LiDGK #specification #standard
Formal specification of the MPI-2.0 standard in TLA+ (GL, MD, GG, RMK), pp. 283–284.
ITiCSEITiCSE-2001-HoldenY #education
Innovative teaching practices in computing education: the TLA project (JH, AY), p. 174.
SASSAS-1999-CansellM #specification
Abstract Animator for Temporal Specifications: Application to TLA (DC, DM), pp. 284–299.
FMFM-v2-1999-AkhianiDHLSTY #verification
Cache Coherence Verification with TLA+ (HA, DD, PH, LL, JS, MRT, YY), pp. 1871–1872.
A More Complete TLA (SM), pp. 1226–1244.
IFMIFM-1999-Deiss #approach
An Approach to the Combination of Formal Description Techniques: Statecharts and TLA (TD), pp. 231–250.
FMFME-1997-Gregoire #protocol #proving #using
TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations (JCG), pp. 378–397.
FMFME-1997-MokkedemFJ #protocol #specification #verification
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol (AM, MJF, RdBJ), pp. 398–417.
CAVCAV-1992-EngbergGL #concurrent #verification
Mechanical Verification of Concurrent Systems with TLA (UE, PG, LL), pp. 44–55.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.