Formal Methods - Oliveira Marcel Vinícius Medeiros
Formal Methods - Oliveira Marcel Vinícius Medeiros
- Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
EAN: 9783642104510
Marka
Symbol
490HGF03527KS
Rok wydania
2009
Strony
364
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Oliveira Marcel Vinícius Medeiros
Język
angielski

Bez ryzyka
14 dni na łatwy zwrot

Szeroki asortyment
ponad milion pozycji

Niskie ceny i rabaty
nawet do 50% każdego dnia
Niepotwierdzona zakupem
Ocena: /5
Marka
Symbol
490HGF03527KS
Kod producenta
9783642104510
Rok wydania
2009
Strony
364
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Oliveira Marcel Vinícius Medeiros
Język
angielski

This volume contains the papers presented at SBMF 2009: the Brazilian S- posium on Formal Methods, held during August 19-21, 2009 in Gramado, Rio Grande do Sul, Brazil. The SBMF programme included three invited talks
given by Leonardo de Moura (Microsoft Research), Sebastian Uchitel (University of Buenos Aires and Imperial College London), and Daniel Kro ¨ning (University of Oxford). The symposium was accompanied by two short courses: -
Introduction to Software Testing, given by Marci ´ o Eduardo Delamaro (U- versity of Sao ˜ Paulo) - Formal Models for Automatic Test Case Generation, given by Patr´ ?cia Machado and Wilkerson Andrade (Federal University of
Campina Grande) This year, the SBMF symposium had a special section on the Grand Ch- lenge in Veri?ed Software, inspired by recent advances in theory and tool s- port.
WorkonthegrandchallengestartedwiththecreationofaVeri?edSoftware Repository with two principal aims: - To collect a set of veri?ed software components - To conduct a series of industrial-scale veri?cation experiments with
theor- ical signi?cance and impact on tool-support This special session on the grand challenge was dedicated to two pilot projects currently underway: - The Flash File Store. The challenge is to verify the correctness of a
fau- tolerant,POSIX-compliant?lestoreimplemented on?ashmemory. Veri?- tion issues include dependability guarantees as well as software correctness. Levels of abstractioninclude requirements speci?cation, software design, -
ecutable code, device drivers,and ?ash translationlayers. The challenge was inspired by the requirements for forthcoming NASA space missions. - FreeRTOS.
EAN: 9783642104510
EAN: 9783642104510
Niepotwierdzona zakupem
Ocena: /5
Zapytaj o produkt
Niepotwierdzona zakupem
Ocena: /5
Napisz swoją opinię