Top Tweets for #pluscal

the sam miller @thesammiller

over 3 years ago

Continuing adventures in formal methods, this time taking a #coyote example and modeling it in #pluscal and #tlaplus. Thank you to @hillelogram for the advice and @pdeligia for the amazing tutorial! Next up is another @hillelogram example in P... https://t.co/vVmKc8lWRy

1

4

5

0

0

Joel Fernandes 🐧🇺🇸 @joel_linux

almost 4 years ago

I wrote an article on modeling Condition Variables using #PlusCal (the TLA+ language): https://t.co/Ew9En52Nwc Was a lot of fun! (CC @paulmckrcu)

0

5

2

1

0

@[email protected] @lemmster

almost 4 years ago

The schedule for #tlaplus conf has been published. Please spread far and wide: https://t.co/bsyS7Q0Jfc /cc @strangeloop_stl #pluscal

1

23

12

2

0

@[email protected] @lemmster

about 4 years ago

@MarcJBrooker @strangeloop_stl Register for #tlaplus conf, @hillelogram TLA+ workshop, and Strange Loop at https://t.co/8Olgan8HC5 #pluscal

0

4

2

0

0

José A. Alonso @Jose_A_Alonso

about 4 years ago

Modeling PlusCal in Haskell using Cartesian products of NFAs. ~ Gabriella Gonzalez (@GabriellaG439). https://t.co/DUVGPc98hY #Haskell #FunctionalProgramming #PlusCal

0

2

1

0

0

gabby @GabriellaG439

about 4 years ago

Modeling #PlusCal in #Haskell using Cartesian products of NFAs https://t.co/QBADjZkPLd

3

23

4

4

0

@[email protected] @lemmster

over 4 years ago

Save the date: #tlaplus conference 2022 will be held on 22 September in St. Louis, Missouri (pre-conf of @strangeloop_stl) #pluscal

0

12

6

0

0

@[email protected] @lemmster

over 4 years ago

Please share your perspective: TLA+ community survey https://t.co/NCF2hO3Hu4 #tlaplus #pluscal

3

16

17

4

0

@[email protected] @lemmster

over 4 years ago

I've added a #pluscal track to my #tlaplus BlockingQueue example: https://t.co/F9td3NKDgX

0

2

0

1

0

@[email protected] @lemmster

over 4 years ago

Lamport just published a #pluscal tutorial: https://t.co/NYVNFzn3ZQ #tlaplus

0

82

26

22

0

@[email protected] @lemmster

almost 5 years ago

"Why TLA+ Is Untyped" by @pressron https://t.co/pgO8aeZT02 #tlaplus #pluscal

0

2

2

2

0

@[email protected] @lemmster

almost 5 years ago

Leslie Lamport and me with "TLA+: Viewed from 40,000 Feet and Ground Level" https://t.co/ldHU07idXJ #tlaplus #pluscal

0

49

18

12

0

@[email protected] @lemmster

over 5 years ago

@pascalpoizat For #PlusCal, there is support to translate the error trace into an interactive communication graph rendered with @bestchai https://t.co/FCX8m5LIh9 https://t.co/zpgjpZzi45

1

2

0

0

0

MonkeyPatch @MonkeyPatch_io

over 5 years ago

Nous avons profité de la pause déjeuner pour qu'@arnaud_bos nous fasse un retour d'expérience sur #TLA+ et #PlusCal 🧑‍💻🙇

MonkeyPatch_io's tweet photo. Nous avons profité de la pause déjeuner pour qu'@arnaud_bos nous fasse un retour d'expérience sur #TLA+ et #PlusCal
🧑‍💻🙇 https://t.co/SMMazZ8XZD

1

4

1

0

0

@[email protected] @lemmster

over 5 years ago

Paging all #Vim, #Emacs, #Atom, ..., enthusiasts who want to learn #PlusCal: Are you willing to use the (existing) Toolbox just to _learn_ PlusCal?" #tlaplus - "Yes": switching to my preferred tooling later is no is fine - "No": Won't waste time learning a foreign editor/IDE

3

4

2

0

0

@[email protected] @lemmster

over 5 years ago

Model-checking section mentions #pluscal.

Computer Science

over 5 years ago

The development practices behind the Curiosity Mars mission: 'Mars Code' by Gerard Holzmann https://t.co/CyDUsetbdl

0

28

6

8

0

0

15

0

0

0

@[email protected] @lemmster

over 5 years ago

Heba Alkayed et al. propose to extend #PlusCal with special syntax for sub-processes and communication channels: https://t.co/wtYCktgIuI They will happily take your questions at the #tlaplus community event in October (https://t.co/Bp32zRS028).

0

5

1

0

0

@[email protected] @lemmster

almost 6 years ago

TLA+ Community Event 2020 schedule is out: https://t.co/0a0Nzn9HG4 #tlaplus #pluscal

3

26

10

4

0

@[email protected] @lemmster

almost 6 years ago

Almost every variant of Paxos has been specified in #tlaplus. On the other end of the complexity scale, what's your favorite example of a #tlaplus or #pluscal spec of a simple system that still provided useful insights?

2

9

1

1

0

@[email protected] @lemmster

almost 6 years ago

Dear #PlusCal authors, consider contributing your specs to the #tlaplus examples to showcase places where PlusCal shines: https://t.co/Cg6OeLd4G3

0

13

6

2

0

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users