BT
rss
Seguidores

Spec# e Boogie Disponíveis no CodePlex

por Jonathan Allen Seguir 610 Seguidores , traduzido por Marcus Rehm Seguir 0 Seguidores   em  02 set, 2009

O código fonte do Spec# está disponível no CodePlex pela Microsoft Research Shared Source License Agreement. Esta licença restringe a utlização para fins não comerciais. E a ferramenta de verificação de código chamada Boogie foi lançada pela Microsoft Public License, a qual está em conformidade com o padrão Free/Open Source.

Faça seu login para melhorar sua experiência com o InfoQ e ter acesso a funcionalidades exclusivas


Esqueci minha senha

Follow

Siga seus tópicos e editores favoritos

Acompanhe e seja notificados sobre as mais importantes novidades do mundo do desenvolvimento de software.

Like

Mais interação, mais personalização

Crie seu próprio feed de novidades escolhendo os tópicos e pessoas que você gostaria de acompanhar.

Notifications

Fique por dentro das novidades!

Configure as notificações e acompanhe as novidades relacionada a tópicos, conteúdos e pessoas de seu interesse

BT