Question

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

score 142 · Answer 1 · 2021-12-05T13:37:02.590000

142

Views

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

Published on 05 December 2021 at 13:37

score 114 · Answer 2 · 2020-12-07T03:38:12.217000

114

Views

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

Published on 07 December 2020 at 03:38

score 190 · Answer 3 · 2020-11-23T16:07:41.977000

190

Views

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

Published on 23 November 2020 at 16:07

score 142 · Answer 4 · 2020-11-09T11:44:59.350000

142

Views

Is there type casting in VDM++?

Published on 09 November 2020 at 11:44

score 334 · Answer 5 · 2020-02-05T16:07:42.543000

334

Views

Set/sequence summation operator?

Published on 05 February 2020 at 16:07

score 262 · Answer 6 · 2020-02-05T14:24:34.017000

262

Views

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

Published on 05 February 2020 at 14:24

score 93 · Answer 7 · 2020-02-05T12:40:27.053000

93

Views

How can I apply a predicate to a set?

Published on 05 February 2020 at 12:40

score 64 · Answer 8 · 2019-12-02T13:47:30.123000

64

Views

Pure operation call may not be referentially transparent?

Published on 02 December 2019 at 13:47

score 172 · Answer 9 · 2019-10-28T22:20:32.260000

172

Views

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

Published on 28 October 2019 at 22:20

score 86 · Answer 10 · 2019-10-14T10:58:19.710000

86

Views

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

Published on 14 October 2019 at 10:58

score 308 · Answer 11 · 2019-09-09T09:08:48.157000

308

Views

Printing to console in VDM++?

Published on 09 September 2019 at 09:08

score 380 · Answer 12 · 2018-10-15T21:50:58.147000

380

Views

How to install Overture on Windows

Published on 15 October 2018 at 21:50

score 106 · Answer 13 · 2018-04-18T12:30:49.317000

106

Views

Unknown error on VDM++ toolbox lite

Published on 18 April 2018 at 12:30

score 121 · Answer 14 · 2017-12-28T12:55:56.077000

121

Views

Pre-condition not working

Published on 28 December 2017 at 12:55

score 214 · Answer 15 · 2017-09-30T09:15:16.293000

214

Views

Use cases in operations in VDM++

Published on 30 September 2017 at 09:15

score 418 · Answer 16 · 2017-05-27T21:06:50.937000

418

Views

A recursive function in VDM

Published on 27 May 2017 at 21:06

score 716 · Answer 17 · 2017-02-05T23:02:30.230000

716

Views

Set comprehension in VDM++

Published on 05 February 2017 at 23:02

score 428 · Answer 18 · 2017-01-06T08:54:33.210000

428

Views

Instance variable is not initialized. Why is that?

Published on 06 January 2017 at 08:54

score 219 · Answer 19 · 2017-01-04T18:27:20.847000

219

Views

Specifikation of operation in VDM++

Published on 04 January 2017 at 18:27

score 206 · Answer 20 · 2017-01-04T10:11:20.917000

206

Views

Modelio and Overture, does it work separately?

Published on 04 January 2017 at 10:11

List Question

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

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++?

Set/sequence summation operator?

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

How can I apply a predicate to a set?

Pure operation call may not be referentially transparent?

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;

Printing to console in VDM++?

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++

Instance variable is not initialized. Why is that?

Specifikation of operation in VDM++

Modelio and Overture, does it work separately?

Trending Questions

Popular # Hahtags

Popular Questions