io-port.net

io-port 06052561 Sanders, J.W.; Smith, Graeme

Emergence and refinement. (English)

Formal Asp. Comput. 24, No. 1, 45-65 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052560 Hesselink, Wim H.; Ikram Lali, Muhammad

Formalizing a hierarchical file system. (English)

Formal Asp. Comput. 24, No. 1, 27-44 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052559 Hallerstede, Stefan; Leuschel, Michael

Experiments in program verification using Event-B. (English)

Formal Asp. Comput. 24, No. 1, 97-125 (2012).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052558 Morgan, Carroll

Compositional noninterference from first principles. (English)

Formal Asp. Comput. 24, No. 1, 3-26 (2012).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052557 Zeyda, Frank; Oliveira, Marcel; Cavalcanti, Ana

Mechanised support for sound refinement tactics. (English)

Formal Asp. Comput. 24, No. 1, 127-160 (2012).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052556 Preoteasa, Viorel; Back, Ralph-Johan

Invariant diagrams with data refinement. (English)

Formal Asp. Comput. 24, No. 1, 67-95 (2012).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05998155 Boiten, Eerke (ed.); Derrick, John (ed.); Dong, Jin Song (ed.); Reeves, Steve (ed.)

Special issue: 14th BCS-FACS refinement workshop. Selected papers based on the presentations at the workshop, Eindhoven, The Netherlands, November 2009. (English)

Formal Asp. Comput. 24, No. 1, 160~p. (2012).

7

PDF XML AMS-TeX TEXT BIBTeX

io-port 06052555 Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti

Symbolic predictive analysis for concurrent programs. (English)

Formal Asp. Comput. 23, No. 6, 781-805 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052554 Leuschel, Michael; Falampin, Jérôme; Fritz, Fabian; Plagge, Daniel

Automated property verification for large scale B models with ProB. (English)

Formal Asp. Comput. 23, No. 6, 683-709 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052553 McIver, A.K.; Morgan, C.C.

Compositional refinement in agent-based security protocols. (English)

Formal Asp. Comput. 23, No. 6, 711-737 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052552 Reynolds, Mark

A tableau-based decision procedure for CTL$^*$. (English)

Formal Asp. Comput. 23, No. 6, 739-779 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052551 Sitaraman, Murali; Adcock, Bruce; Avigad, Jeremy; Bronish, Derek; Bucci, Paolo; Frazier, David; Friedman, Harvey M.; Harton, Heather; Heym, Wayne; Kirschenbaum, Jason; Krone, Joan; Smith, Hampton; Weide, Bruce W.

Building a push-button RESOLVE verifier: progress and challenges. (English)

Formal Asp. Comput. 23, No. 5, 607-626 (2011).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052550 Jörges, Sven; Margaria, Tiziana; Steffen, Bernhard

Assuring property conformance of code generators via model checking. (English)

Formal Asp. Comput. 23, No. 5, 589-606 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052549 Braghin, Chiara; Sharygina, Natasha; Barone-Adesi, Katerina

A model checking-based approach for security policy verification of mobile systems. (English)

Formal Asp. Comput. 23, No. 5, 627-648 (2011).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052548 Chandy, K.Mani; Go, Brian; Mitra, Sayan; Pilotto, Concetta; White, Jerome

Verification of distributed systems with local-global predicates. (English)

Formal Asp. Comput. 23, No. 5, 649-679 (2011).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05980315 Cavalcanti, Ana (ed.); Dams, Dennis (ed.); Gaudel, Marie-Claude (ed.)

Special issue: Formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods (FM 2009), Eindhoven, The Netherlands, November 2‒6, 2009. (English)

Formal Asp. Comput. 23, No. 6, 681-805 (2011).

16

PDF XML AMS-TeX TEXT BIBTeX

io-port 05959817 Bergstra, J.A.; Middelburg, C.A.

Thread algebra for poly-threading. (English)

Formal Asp. Comput. 23, No. 4, 567-583 (2011).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05959816 Yang, Linmin; Dang, Zhe; Fischer, Thomas R.

Information gain of black-box testing. (English)

Formal Asp. Comput. 23, No. 4, 513-539 (2011).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05959815 Gao, Han; Nielson, Flemming; Nielson, Hanne Riis

{\ssf CaPiTo}: Protocol stacks for services. (English)

Formal Asp. Comput. 23, No. 4, 541-565 (2011).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05959814 Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin

From control law diagrams to Ada via {\ssf {\ssf CaPiTo}Circus}. (English)

Formal Asp. Comput. 23, No. 4, 465-512 (2011).

20

PDF XML AMS-TeX TEXT BIBTeX DOI