Validation of MQTT Using Spin and Promela -- 3

Annulleret Opslået Dec 9, 2015 Betalt ved levering

$250-750 USD

Betalt ved levering

Annulleret Betalt ved levering

Full validation of the MQTT Message Queue Telemetry Transport protocol. If sections can not be done in Promela then state reasons why (and if necessary propose approaches in Bogor or Loupe (an extension of Bogor) or C). Deliverables should be one or more pml files.

I will provide more details and file with design. Validation of MQTT using Spin and Promela.

Computer Sikkerhed Computer Support MQTT Software Udvikling Software Testning

Projekt ID: #9085919

Om projektet

Remote projekt Aktiv Dec 10, 2015

Ønsker du at tjene nogle penge?

Fordele ved at byde på Freelancer

Bestem dit budget og din tidsramme
Bliv betalt for dit arbejde
Beskriv dit forslag
Det er gratis et tilmelde sig og byde på jobs
Slå et lignende projekt op