fedistats
  • Trends
  • Search
  • Topics
  • Nodes
< back

#formalmethods

2 6 Toot LinkedIn
A chart of hourly posts over the last week (for big screens). A chart of hourly posts over the last week (for small screens).
English(2)
lobste.rs (2) brooker.co.za (1) concerningquality.com (1)

1

From lobste.rs

Controlling Nondeterminism in Model-Based Tests with Prophecy Variables | Lobsters

1 1

#testing #databases #formalmethods

5h ago


1

From lobste.rs

Formal Methods: Just Good Engineering Practice? | Lobsters

1 1

#formalmethods

23h ago


1

From brooker.co.za

Formal Methods: Just Good Engineering Practice? - Marc's Blog

2 2

#formalmethods

23h ago


1

From concerningquality.com

Controlling Nondeterminism in Model-Based Tests with Prophecy Variables | Concerning Quality

2 2

#testing #databases #formalmethods

9h ago

Showing first 4 out of 4