HN Explorer

j0p

↗ HN profile [ 1382 ms ] full profile
Karma
67
Created
January 2, 2018 (8y ago)
Submissions
0
  1. Ask HN: Learning formal methods for software design

    I started scratching on the surface of formally verified software. I whish to gain some experience on how this is done in reality. I have a project where I belive that formal methods could be applied. I year back I…

    3 points 0
  2. Show HN: Punchboot (github.com)
    1 points 0
  3. Show HN: USB Power Monitor with TUI (github.com)
    4 points 0
  4. Show HN: µFSM – A state chart library for embedded applications (github.com)
    154 points 34
  5. UFSM – state chart library for embedded applications (github.com)
    2 points 0