Travelled to:1 × France
1 × United Kingdom
Collaborated with:V.Robert D.Jang Z.Tatlock S.Lerner D.Cousineau D.Doligez L.Lamport S.Merz H.Vanzetto
Talks about:proof (2) reactiv (1) system (1) formal (1) autom (1) tla (1)
Person: Daniel Ricketts
DBLP: Ricketts:Daniel
Contributed to:
2014
2012Wrote 2 papers:
- PLDI-2014-RickettsRJTL #automation #proving
- Automating formal proofs for reactive systems (DR, VR, DJ, ZT, SL), p. 47.
- FM-2012-CousineauDLMRV #proving
- TLA + Proofs (DC, DD, LL, SM, DR, HV), pp. 147–154.