Four Compass Points in the Verification of the Linux Kernel

Peter Breuer; S Pickin; L Barbosa; Peter Breuer; A Cerone; S Pickin

Four Compass Points in the Verification of the Linux Kernel

Peter Breuer, S Pickin, L Barbosa, Peter Breuer, A Cerone, S Pickin

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	10-25
Number of pages	16
Publication status	Published - 1 Sept 2008
Event	Proceedings of 1st International Workshop on Foundations and Techniques Bringing Together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008) (co-located with OSS 2008 - 4th International Conference on Open Source Systems) - Duration: 1 Sept 2008 → …

Conference

Conference	Proceedings of 1st International Workshop on Foundations and Techniques Bringing Together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008) (co-located with OSS 2008 - 4th International Conference on Open Source Systems)
Period	1/09/08 → …

Cite this

Breuer, P., Pickin, S., Barbosa, L., Breuer, P., Cerone, A., & Pickin, S. (2008). Four Compass Points in the Verification of the Linux Kernel. 10-25. Paper presented at Proceedings of 1st International Workshop on Foundations and Techniques Bringing Together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008) (co-located with OSS 2008 - 4th International Conference on Open Source Systems).

Breuer, Peter ; Pickin, S ; Barbosa, L et al. / Four Compass Points in the Verification of the Linux Kernel. Paper presented at Proceedings of 1st International Workshop on Foundations and Techniques Bringing Together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008) (co-located with OSS 2008 - 4th International Conference on Open Source Systems).16 p.

@conference{bc51aeb993e14772af1f4992662a476c,

title = "Four Compass Points in the Verification of the Linux Kernel",

author = "Peter Breuer and S Pickin and L Barbosa and Peter Breuer and A Cerone and S Pickin",

year = "2008",

month = sep,

day = "1",

language = "English",

pages = "10--25",

note = "Proceedings of 1st International Workshop on Foundations and Techniques Bringing Together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008) (co-located with OSS 2008 - 4th International Conference on Open Source Systems) ; Conference date: 01-09-2008",

}

Breuer, P, Pickin, S, Barbosa, L, Breuer, P, Cerone, A & Pickin, S 2008, 'Four Compass Points in the Verification of the Linux Kernel', Paper presented at Proceedings of 1st International Workshop on Foundations and Techniques Bringing Together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008) (co-located with OSS 2008 - 4th International Conference on Open Source Systems), 1/09/08 pp. 10-25.

Four Compass Points in the Verification of the Linux Kernel. / Breuer, Peter; Pickin, S; Barbosa, L et al.
2008. 10-25 Paper presented at Proceedings of 1st International Workshop on Foundations and Techniques Bringing Together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008) (co-located with OSS 2008 - 4th International Conference on Open Source Systems).

Research output: Contribution to conference (unpublished) › Paper

TY - CONF

T1 - Four Compass Points in the Verification of the Linux Kernel

AU - Breuer, Peter

AU - Pickin, S

AU - Barbosa, L

AU - Breuer, Peter

AU - Cerone, A

AU - Pickin, S

PY - 2008/9/1

Y1 - 2008/9/1

M3 - Paper

SP - 10

EP - 25

T2 - Proceedings of 1st International Workshop on Foundations and Techniques Bringing Together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008) (co-located with OSS 2008 - 4th International Conference on Open Source Systems)

Y2 - 1 September 2008

ER -

Breuer P, Pickin S, Barbosa L, Breuer P, Cerone A, Pickin S. Four Compass Points in the Verification of the Linux Kernel. 2008. Paper presented at Proceedings of 1st International Workshop on Foundations and Techniques Bringing Together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008) (co-located with OSS 2008 - 4th International Conference on Open Source Systems).