Sergey Staroletov
9 SlideShares
Tags
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
Mehr anzeigen
  • Dokumente
  • Infografiken
Aktuellste Beliebteste SlideShares

Distributed Systems Presentation for Business informatics students (Staroletov)

Vor 4 Jahren • 42 Aufrufe

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

Vor 4 Jahren • 31 Aufrufe

Staroletov Design by Contract, verification of Cyber-physical systems

Vor 4 Jahren • 23 Aufrufe

Staroletov MBC (Model Based Checking)

Vor 4 Jahren • 41 Aufrufe

Staroletov testing TDD BDD MBT

Vor 4 Jahren • 84 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

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

Vor 4 Jahren • 11 Aufrufe

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

Vor 4 Jahren • 50 Aufrufe

Cameroun (Francophone day)

Vor 8 Jahren • 450 Aufrufe