Sergey Staroletov

0 Followers

promela formal verification cps spin services distributed systems c# grammars optimization antlr gcc compilers git bugs kernel linux formal methods dynamic logic hoare wp contracts .net frama-c protocol checking testing tdd fpga language non-deterministic pmbc floating point model checking software francophone cameroon france

Aktivität
Info

Cameroun (Francophone day)

Vor 8 Jahren • 450 Aufrufe

Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model

Vor 4 Jahren • 50 Aufrufe

Towards a Probabilistic Extension to Non-Deterministic Transitions in Model-Based Checking

Vor 4 Jahren • 11 Aufrufe

An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)

Vor 4 Jahren • 14 Aufrufe

Staroletov testing TDD BDD MBT

Vor 4 Jahren • 84 Aufrufe

Staroletov MBC (Model Based Checking)

Vor 4 Jahren • 41 Aufrufe

Staroletov Design by Contract, verification of Cyber-physical systems

Vor 4 Jahren • 23 Aufrufe

Теория языков программирования некоторые слайды к лекциям

Vor 4 Jahren • 31 Aufrufe

Distributed Systems Presentation for Business informatics students (Staroletov)

Vor 4 Jahren • 42 Aufrufe

Формальная верификация кода на языке Си

Positive Development User Group • Vor 6 Jahren

promela formal verification cps spin services distributed systems c# grammars optimization antlr gcc compilers git bugs kernel linux formal methods dynamic logic hoare wp contracts .net frama-c protocol checking testing tdd fpga language non-deterministic pmbc floating point model checking software francophone cameroon france