Sergey Bronnikov
Results
21
repositories owned by
Sergey Bronnikov
molly
7
Stars
0
Forks
Watchers
Framework for distributed system's verification, with fault injection.
open-history-data
24
Stars
3
Forks
Watchers
Поиск людей из прошлого
openbsd-cookbooks
91
Stars
12
Forks
Watchers
Setup environment in OpenBSD using Ansible playbook
openbsd-tests
22
Stars
0
Forks
Watchers
Unofficial OpenBSD regression tests
unreliablefs
171
Stars
9
Forks
Watchers
A FUSE-based fault injection filesystem.
sqa-wiki
2.2k
Stars
402
Forks
Watchers
My own notes (drafts mostly) about software quality
practical-fm
465
Stars
36
Forks
Watchers
A gently curated list of companies using verification formal methods in industry
swebok-2004-in-russian
61
Stars
15
Forks
Watchers
Основы программной инженерии (SWEBOK 2004 на русском) в EPUB и HTML