Viewing profile — j0p
j0p
HN member- Joined
- Tue, Jan 02, 2018, 9:49 AM UTC
- HN karma
- 67
- Public activity
- 10 items
- HN profile
- View on Hacker News ↗
About j0p
No profile information was provided.
Recent public activity
-
comment
Comment #22813095
Why did they not name it 'iShield'. Seems appropriate.
-
story
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 metho…
- story
- story
- story
-
comment
Comment #17266198
Thanks =) I had a quick look att plantuml and it seems to support SCXML export, which I will add in a near future which might be useful for you.
-
comment
Comment #17259821
I've used the evaluation version
-
comment
Comment #17259809
I've only tested with StarUML, but the plan is to support more tools
- story
- story