👉 From COBOL to Kotlin // Marco Graziano
#cobol #kotlin #formalmethods
https://marcoeg.medium.com/from-cobol-to-kotlin-795920b1f371
👉 From COBOL to Kotlin // Marco Graziano
#cobol #kotlin #formalmethods
https://marcoeg.medium.com/from-cobol-to-kotlin-795920b1f371
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
https://arxiv.org/abs/2512.02080
#HackerNews #Designing #Predictable #LLM-Verifier #Systems #for #Formal #Method #Guarantee #LLMVerifier #FormalMethods #AIResearch #Predictability #arXiv
ESBMC - An Efficient SMT-based Bounded Model Checker
https://ssvlab.github.io/esbmc/
"ESBMC is an open-source, [...], context-bounded model checker based on satisfiability modulo theories for verifying single- and multi-threaded C/C++ programs. It does not require the user to annotate the programs with pre- or postconditions, but allows the user to state additional properties using assert-statements, that are then checked as well."
1/3
Verifying the #Rust Standard Library - Carolyn Zech, Amazon Web Services
https://invidious.nerdvpn.de/watch?v=8_lzVNs1uPk
(or YT: https://www.youtube.com/watch?v=8_lzVNs1uPk)
Carolyn is also a maintainer of #Kani, the Rust model checker.
She has been so supportive and kind during my struggles with HashMaps and Kani 🥺
https://github.com/model-checking/kani/issues/3965
Give her a follow:
https://github.com/carolynzech
#FormalVerification#FormalMethods #RustLang#Testing#SoftwareEngineering
I am hiring!
I have a fully funded PhD position available for someone with an interest in logic and statistics, at Delft University of Technology (Netherlands).
Application deadline: 31 August 2025
#AcademicJobs#AcademicMastodon#GetFediHired#AcademicJob#SymbolicAI#Statistics#AI#ConstraintProgramming#CombinatorialOptimisation #SensitivityAnalysis#FormalMethods#CombinatorialOptimization#Delft#TUDelft#AcademicChatter
I am hiring!
I have a fully funded PhD position available for someone with an interest in logic and statistics, at Delft University of Technology (Netherlands).
Application deadline: 31 August 2025
#AcademicJobs#AcademicMastodon#GetFediHired#AcademicJob#SymbolicAI#Statistics#AI#ConstraintProgramming#CombinatorialOptimisation #SensitivityAnalysis#FormalMethods#CombinatorialOptimization#Delft#TUDelft#AcademicChatter
ESBMC - An Efficient SMT-based Bounded Model Checker
https://ssvlab.github.io/esbmc/
"ESBMC is an open-source, [...], context-bounded model checker based on satisfiability modulo theories for verifying single- and multi-threaded C/C++ programs. It does not require the user to annotate the programs with pre- or postconditions, but allows the user to state additional properties using assert-statements, that are then checked as well."
1/3
Verifying the #Rust Standard Library - Carolyn Zech, Amazon Web Services
https://invidious.nerdvpn.de/watch?v=8_lzVNs1uPk
(or YT: https://www.youtube.com/watch?v=8_lzVNs1uPk)
Carolyn is also a maintainer of #Kani, the Rust model checker.
She has been so supportive and kind during my struggles with HashMaps and Kani 🥺
https://github.com/model-checking/kani/issues/3965
Give her a follow:
https://github.com/carolynzech
#FormalVerification#FormalMethods #RustLang#Testing#SoftwareEngineering