|
Showing 1 - 1 of
1 matches in All Departments
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."
|
You may like...
Miles Ahead
Don Cheadle, Ewan McGregor
DVD
(1)
R55
Discovery Miles 550
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.