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