|
|
| | Lua C API manual pages (github.com/ligurio) | | 6 points by todsacerdoti on July 26, 2022 | past | |
| | Show HN: Command-line front end to transactional consistency checkers (github.com/ligurio) | | 1 point by ligurio on Jan 12, 2022 | past | |
| | Command-line transactional consistency checker for black-box databases (github.com/ligurio) | | 2 points by todsacerdoti on Jan 7, 2022 | past | |
| | FUSE-based file system to inject faults (github.com/ligurio) | | 83 points by todsacerdoti on July 1, 2021 | past | 16 comments | |
| | A list of companies that use formal verification methods (github.com/ligurio) | | 2 points by ligurio on Feb 8, 2021 | past | |
| | A List of companies that use Formal methods in Software engineering (github.com/ligurio) | | 1 point by AlexDenisov on Feb 14, 2018 | past | |
| | List of free software testing and verification resources (github.com/ligurio) | | 3 points by ligurio on Dec 3, 2017 | past | 1 comment | |
| | Free Software Testing Books, Courses, and Podcasts (github.com/ligurio) | | 5 points by AlexDenisov on April 3, 2017 | past | |
| | Show HN: List of Free Software Testing Books (github.com/ligurio) | | 6 points by ligurio on Feb 7, 2016 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
