|
|
|
|
|
|
by Shacklet0n
2059 days ago
|
|
|
Yes, and I am considering moving more in that direction. I've actually quite enjoyed specifying and implementing safety-critical PLC software in my new career. But I'd really like to invest more time in formal specification and verification, particularly in embedded software! |
|
|