commit - cbf2b15dad651a92a10398d55b96226f9cb23ba7
commit + dce8e38368486cec0101bd831b407fb62a0511fb
blob - 27ba28cdc75e2df22a38bd4319d4b7bba303d14a
blob + 56c3fedb16d8537ad3bb1e9aec3928c4ba567325
--- courses-in-english.md
+++ courses-in-english.md
* [Software Debugging](https://www.udacity.com/course/software-debugging--cs259)
* [Software Analysis & Testing](https://www.udacity.com/course/software-analysis-testing--ud333)
* [Fundamentals of TDD](https://thoughtbot.com/upcase/fundamentals-of-tdd)
-* [Critical Reasoning for Beginners](http://podcasts.ox.ac.uk/series/critical-reasoning-beginners)
-* [Reasoning Across the Disciplines](https://ru.coursera.org/learn/critical-reasoning)
* [Discrete Mathematics and Probability Theory](https://archive.org/details/ucberkeley-webcast-PL-XXv-cvA_iDze6fOp3qofgyjJVUioedA)
* [Mathematical Logic](https://www.youtube.com/playlist?list=PL2EB5662A0D455A81&feature=plcp)
* [Engineering Ethics](https://ocw.mit.edu/courses/engineering-systems-division/esd-932-engineering-ethics-spring-2006/audio-lectures/)
-* [Engineering Ethics](https://itunes.apple.com/us/course/engineering-ethics/id1039496124?ign-mpt=uo%3D8)
* Software Development Process: [Part 1](https://www.youtube.com/playlist?list=PLAwxTw4SYaPkNAtqsKcFkUGpf4j67NBaz), [Part 2](https://www.youtube.com/playlist?list=PLAwxTw4SYaPm8PAGH7ov2Bj-nG4sXgCtJ), [Part 3](https://www.youtube.com/playlist?list=PLAwxTw4SYaPkoQFThzsc9e7Fe3QV_KJCs)
#### Functional Testing
-* [Introduction to Software Testing](https://cs.gmu.edu/~offutt/softwaretest/) - Paul Ammann and Jeff Offutt
-* [Black Box Software Testing course](http://www.testingeducation.org/BBST/) - Cem Kaner, J.D. Ph.D.
* [Software Testing](http://nptel.ac.in/courses/106105150/)
* [Embedded Software Testing](http://nptel.ac.in/courses/117106112/)
* [Software Testing Fundamentals](https://www.edx.org/course/software-testing-fundamentals-usmx-university-maryland-university-stv1-1x)
* [Introduction to Software Testing](https://alison.com/course/introduction-to-software-testing)
* [Software Testing - Black-box Strategies and White-box Testing](https://alison.com/course/software-testing-black-box-strategies-and-white-box-testing)
* [Diploma in Software Testing](https://alison.com/course/diploma-in-software-testing)
-* [Software Testing - Testing Levels and Object-Oriented Program Testing](https://alison.com/course/software-testing-testing-levels-and-object-oriented-program-testing)
-* [Software Testing - Condition Coverage and Mutation Testing Strategies](https://alison.com/course/software-testing-condition-coverage-and-mutation-testing-strategies)
* [Software Testing Training](https://www.youtube.com/playlist?list=PLDC2A0C8D2EC934C7)
* [Quality Center Training](https://www.youtube.com/playlist?list=PL2CA3A709452D4E27)
* [QTP Training](https://www.youtube.com/playlist?list=PLF20D996D82993E79)
* [Selenium Tutorials](https://www.guru99.com/selenium-tutorial.html)
* [Selenium WebDriver Course](https://thefriendlytester.co.uk/selenium/course/)
-* [Software Testing](https://www.youtube.com/playlist?list=PL-_cKNuVAYAWZGuyAFu8TC9I41aJ3nHIf) - Mauro Pezz
-* [CS453 Automated Software Testing, Spring 2020](https://coinse.io/teaching/2020/cs453/)
+* [Software Testing](https://www.youtube.com/playlist?list=PL-_cKNuVAYAWZGuyAFu8TC9I41aJ3nHIf) - Mauro Pezzo
+* [CS453 Automated Software Testing](https://coinse.io/teaching/2020/cs453/)
* [Functional Programming and Property-Based Testing](http://janmidtgaard.dk/quickcheck/)
#### Fuzz testing
* [Part 3: How and why fuzz testing, and managing your unknown vulnerabilities saves money](https://vimeo.com/89974203)
* [Part 4: Fuzz testing techniques: unfuzzing the fuzzing](https://vimeo.com/90074270)
-#### Software Testing Management
-
-* [Software Testing Management](https://www.edx.org/course/software-testing-management-usmx-university-maryland-university-stv1-2x)
-
#### User Testing
* [Introduction to User Testing](https://ru.coursera.org/learn/ui-testing/lecture/aal6p/introduction-to-user-testing)
* [Logic, Languages, Compilation, and Verification](https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html) ([Youtube](https://www.youtube.com/user/nrolland/playlists))
* [A survey of automated theorem proving](http://compsciclub.ru/en/courses/theoremproving/2013-autumn/)
* [Tutorials and advanced lectures](http://www.cse.chalmers.se/research/group/logic/Types/tutorials.html)
-* [Types Project](http://www.cse.chalmers.se/research/group/logic/Types/index.html)
* [Introduction to Formal Systems and Computation](https://itunes.apple.com/us/itunes-u/csci-e-207-introduction-to/id429428100?ign-mpt=uo%3D8)
* [CSE 814 Formal Methods in Software Engineering ](https://cse.msu.edu/~cse814/) ```Slides```
* [A survey of automated theorem proving](https://www.youtube.com/playlist?list=PL-_cKNuVAYAW9pBFvmGr37foLBDIRGxMi) - John Harrison
* [Programming Language Foundations in Agda](https://plfa.github.io/) ```Book```
-##### Model Checking
+##### PVS
+* [Theorem Proving and Model Checking in PVS](https://www.cs.cmu.edu/~emc/15-820A/) - Edmund M. Clarke
+##### Model Checking
+
### TLA+
-* SPIN/Promela [Model Checking Concurrent Programs](http://cnx.org/content/col10294/1.3)
+* Learn TLA+, https://learntla.com/
+* [Pragmatic Formal Modeling](https://elliotswart.github.io/pragmaticformalmodeling/) - is an introduction to pragmatic formal modeling.
* [Software Verification](https://www.youtube.com/playlist?list=PL-_cKNuVAYAUsh0QIh_zd58V4Ekmer23D) - Natasha Sharygina
+* [The TLA+ Video Course](http://lamport.azurewebsites.net/video/videos.html) by Leslie Lamport
+* [Dr. TLA+ Series](https://github.com/tlaplus/DrTLAPlus)
+* TLA+ [Portland State: CS410/510 Practical Specification and Verification](https://web.cecs.pdx.edu/~apt/cs510spec/)
+* TLA+ [tla_workshop](https://github.com/parlarjb/tla_workshop)
+
+#### Alloy
+
* [Alloy Courses](http://alloytools.org/citations/courses.html)
-* [Theorem Proving and Model Checking in PVS](https://www.cs.cmu.edu/~emc/15-820A/) - Edmund M. Clarke
+* Alloy, Spark, TLA+ [Formal Methods in Software Development](https://www.cse.msu.edu/~cse814/)
+* https://alloy.readthedocs.io/en/latest/ - unofficial ALloy documentation written by Hillel Waine.
+
+#### mCRL2
+
* mCRL2 [System Validation: Automata and behavioural equivalences](https://www.coursera.org/learn/automata-system-validation)
* mCRL2 [System Validation (2): Model process behaviour](https://www.coursera.org/learn/system-validation-behavior)
* mCRL2 [System Validation (3): Requirements by modal formulas](https://www.coursera.org/learn/system-validation-modal-formulas)
-* mCRL2 [System Validation (4): Modelling Software, Protocols, and other behaviour](https://www.coursera.org/learn/system-validation-software-protocols)
-* Alloy, Spark, TLA+ [Formal Methods in Software Development](https://www.cse.msu.edu/~cse814/)
-* TLA+ [The TLA+ Video Course](http://lamport.azurewebsites.net/video/videos.html)
-* TLA+ [Dr. TLA+ Series](https://github.com/tlaplus/DrTLAPlus)
-* TLA+ [SUNY Buffalo: CSE 4/586 Distributed Systems](https://cse.buffalo.edu/~demirbas/course.pdf) ([Notes](http://muratbuffalo.blogspot.com/2015/01/my-experience-with-using-tla-in.html))
-* TLA+ [Portland State: CS410/510 Practical Specification and Verification](https://web.cecs.pdx.edu/~apt/cs510spec/)
-* TLA+ [University of Wellington: SWEN421 - Formal Software Engineering](https://ecs.wgtn.ac.nz/Courses/SWEN421_2020T1/CourseOutline)
-* TLA+ [Learn TLA](https://learntla.com/introduction/)
-* TLA+ [tla_workshop](https://github.com/parlarjb/tla_workshop)
\ No newline at end of file
+* mCRL2 [System Validation (4): Modelling Software, Protocols, and other behaviour](https://www.coursera.org/learn/system-validation-software-protocols)
\ No newline at end of file
