List Question
10 TechQA 2024-12-05 20:56:13Atelier B - Proof obligations of "H => vv$1 = vv$2" format for vv used in WHILE substitution
109 views
Asked by zb1225
Atelier B - Proving simple PO in the context of a loop
112 views
Asked by zb1225
Refinement of a B specification
122 views
Asked by user1797730
Is B-Method an alternative to traditional programming languages?
368 views
Asked by Alan_AI
How to generate random numbers from 1 to 6 using the B language
184 views
Asked by OshiniRB
Using the B-Method for structured data verification
81 views
Asked by Joolsy
Expressing rules in B-Method
139 views
Asked by Fred
Test a program in b language
224 views
Asked by richie-torres
AMN and math logic notation
223 views
Asked by webdreamer