Skip to content

Commit

Permalink
typo
Browse files Browse the repository at this point in the history
  • Loading branch information
@fabiomadge
fabiomadge authored Dec 6, 2023
1 parent 30a6631 commit 316524d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion _posts/2023-11-10-automated-test-generation-chess-puzzles-with-dafny.markdown
View file
Original file line number Diff line number Diff line change
Expand Up @@ -282,7 +282,7 @@ Thank you to my collaborators on the two the accompanying conference papers who

Thank you to the Dafny and Boogie developers for their invaluable feedback on the source code, guidence on the design of the tool, and help in writing and proofreading this post: Alex Chew, Oyendrila Dobe, Anjali Joshi, Rustan Leino, Fabio Madge, Mikael Mayer, Niloofar Razavi, Laine Rumreich, Shaz Qadeer, Aaron Tomb, John Tristan, Remy Willems, and Stefan Zetzsche.

Thank you to the users of Dafny who and the test generation tool, who are a key motivation behind this project: Ryan Emery, Tony Knapp, Cody Roux, Horacio Mijail Anton Quiles, William Schultz, and Serdar Tasiran.
Thank you to the users of Dafny and the test generation tool in particular, who are a key motivation behind this project: Ryan Emery, Tony Knapp, Cody Roux, Horacio Mijail Anton Quiles, William Schultz, and Serdar Tasiran.

<link rel="stylesheet" href="/blog/assets/css/verification-compelling.css">
<script src="/blog/assets/js/verification-compelling-verification-steps.js"></script>

0 comments on commit 316524d

Please sign in to comment.