StackOverflow Questions for Tag: vdm%2B%2B

Foz

Reputation: 1

How to use trigonometric functions in .vdmrt files?

mathmodulecompiler-errorsvdm++

Score: 0

Answers: 1

cxsid

Reputation: 1

Correction & filling the missing functions in VDM-SL

compiler-errorsvdm++vdm-sl

Score: 0

Answers: 1

Ninja Muffin

Reputation: 1

VDM++ type error: The state component "totalPrice" must not be used here

vdm++vdm-sl

Score: 0

Answers: 1

Redone123

Reputation: 1

{VDM-SL} Suggest a fixed point solution for the functional

recursionfixed-pointformal-methodsvdm++vdm-sl

Score: 0

Answers: 0

a..

Reputation: 109

How to model accepting a pdf file as input in VDM++

fileinputvdm++

Score: 0

Answers: 1

a..

Reputation: 109

How to use precondition to ensure that the inputs are of type int only

integerpreconditionsformal-methodsvdm++

Score: 0

Answers: 1

a..

Reputation: 109

Is there type casting in VDM++?

castingtype-conversionformal-methodsvdm++

Score: 0

Answers: 1

SørenHN

Reputation: 696

Pure operation call may not be referentially transparent?

vdm++

Score: 1

Answers: 1

SørenHN

Reputation: 696

Printing to console in VDM++?

vdm++

Score: 0

Answers: 2

vertmanip

Reputation: 25

How do I transform/operate on a set/sequence?

vdm++vdm-sl

Score: 0

Answers: 1

vertmanip

Reputation: 25

Set/sequence summation operator?

vdm++vdm-sl

Score: 1

Answers: 2

vertmanip

Reputation: 25

How can I apply a predicate to a set?

vdm++vdm-sl

Score: 1

Answers: 1

Theis Hansen

Reputation: 53

Can't return each element from a set when running it through a for all loop

vdm++vdm-sl

Score: 0

Answers: 1

tayyba zahoor

Reputation: 1

i have two errors in vdm sl project , 1) Action = <OPEN_BARRIER>; 2) Time :: hour : nat;

eclipsedslmodelingvdm++vdm-sl

Score: 0

Answers: 1

Alan Clifford

Reputation: 161

How to install Overture on Windows

vdm++

Score: 0

Answers: 2

Fadhil Adzfar

Reputation: 75

Unknown error on VDM++ toolbox lite

vdm++

Score: 1

Answers: 1

Tirafesi

Reputation: 1479

Pre-condition not working

vdm++

Score: 0

Answers: 1

Kalle

Reputation: 384

Use cases in operations in VDM++

case-statementvdm++

Score: 0

Answers: 1

Dazzler95

Reputation: 93

A recursive function in VDM

formal-methodsvdm++vdm-sl

Score: 2

Answers: 1

António Pedro Fraga

Reputation: 309

Set comprehension in VDM++

setlist-comprehensionvdm++

Score: 0

Answers: 2

PreviousPage 1Next

StackOverflow Questions for Tag: vdm%2B%2B

How to use trigonometric functions in .vdmrt files?

Correction &amp; filling the missing functions in VDM-SL

VDM++ type error: The state component &quot;totalPrice&quot; must not be used here

{VDM-SL} Suggest a fixed point solution for the functional

How to model accepting a pdf file as input in VDM++

How to use precondition to ensure that the inputs are of type int only

Is there type casting in VDM++?

Pure operation call may not be referentially transparent?

Printing to console in VDM++?

How do I transform/operate on a set/sequence?

Set/sequence summation operator?

How can I apply a predicate to a set?

Can&#39;t return each element from a set when running it through a for all loop

i have two errors in vdm sl project , 1) Action = &lt;OPEN_BARRIER&gt;; 2) Time :: hour : nat;

How to install Overture on Windows

Unknown error on VDM++ toolbox lite

Pre-condition not working

Use cases in operations in VDM++

A recursive function in VDM

Set comprehension in VDM++

Correction & filling the missing functions in VDM-SL

VDM++ type error: The state component "totalPrice" must not be used here

Can't return each element from a set when running it through a for all loop

i have two errors in vdm sl project , 1) Action = <OPEN_BARRIER>; 2) Time :: hour : nat;