List Question
20 TechQA 2021-12-05T13:37:02.590000VDM++ type error: The state component "totalPrice" must not be used here
142 views
Asked by Ninja Muffin
How to model accepting a pdf file as input in VDM++
114 views
Asked by a..
How to use precondition to ensure that the inputs are of type int only
190 views
Asked by a..
Is there type casting in VDM++?
142 views
Asked by a..
Set/sequence summation operator?
334 views
Asked by vertmanip
How do I transform/operate on a set/sequence?
262 views
Asked by vertmanip
How can I apply a predicate to a set?
93 views
Asked by vertmanip
Pure operation call may not be referentially transparent?
64 views
Asked by SørenHN
Can't return each element from a set when running it through a for all loop
172 views
Asked by Theis Hansen
i have two errors in vdm sl project , 1) Action = <OPEN_BARRIER>; 2) Time :: hour : nat;
86 views
Asked by tayyba zahoor
Printing to console in VDM++?
308 views
Asked by SørenHN
How to install Overture on Windows
380 views
Asked by Alan Clifford
Unknown error on VDM++ toolbox lite
106 views
Asked by Fadhil Adzfar
Pre-condition not working
121 views
Asked by Tirafesi
Use cases in operations in VDM++
214 views
Asked by Kalle
A recursive function in VDM
418 views
Asked by Dazzler95
Set comprehension in VDM++
716 views
Asked by António Pedro Fraga
Instance variable is not initialized. Why is that?
428 views
Asked by KamK
Specifikation of operation in VDM++
219 views
Asked by KamK
Modelio and Overture, does it work separately?
206 views
Asked by KamK