[NRG] Reminder: NRG meeting: Toward Rapid Prototyping of Distributed Syst... @ Tue Oct 9 11am - 12pm (NRG Calendar)

Google Calendar calendar-notification at google.com
Mon Oct 8 11:00:11 EDT 2012


This is a reminder for:

Title: NRG meeting: Toward Rapid Prototyping of Distributed Systems with  
Verificare
ATTENTION: Substitute Monday Schedule!

Presenter: Richard Skowyra

Abstract:
We are developing Verificare, a tool for quickly designing and verifying  
properties of distributed systems. Verificare allows a designer to easily  
specify a distributed system using the Verificare Modeling Language (VML),  
select properties to check from domain-specific libraries, and rapidly  
verify these properties using an extensible suite of formal tools. In this  
talk I will present the overall design of Verificare and give examples of  
distributed systems modeled in VML. This work is at an early stage, and we  
would like to solicit feedback from the research group on important use  
cases and
design points.
When: Tue Oct 9 11am – 12pm Eastern Time
Where: MCS-148, 111 Cummington Street, Boston, MA 02215
Calendar: NRG Calendar
Who:
     * michel.machado at gmail.com - creator

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=bjQzaTV0NmZla21vZ3I5Y21kb2hzdm0xZ2dfMjAxMjEwMDhUMTUwMDAwWiA1NjBqbjZudDVoajRvZjNyc3JpY2hmcHRpb0Bn

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this email at the account nrg-l at cs.bu.edu because you are  
subscribed for reminders on calendar NRG Calendar.

To stop receiving these notifications, please log in to  
https://www.google.com/calendar/ and change your notification settings for  
this calendar.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs-mailman.bu.edu/pipermail/nrg-l/attachments/20121008/f2ed4bba/attachment.html>


More information about the NRG-L mailing list