43 shaares
2 liens privés
2 liens privés
2 résultats
taggé
linux
C’est le 21 avril que la Fondation Linux a créé une fondation spécifiquement dédiée au langage TLA+, dont la maintenance était jusque-là assurée par Microsoft. L’association indépendante à but non lucratif vise à favoriser l'adoption et le développement du langage de programmation TLA+ (Temporal Logic of Actions). Ce langage permet de modéliser des programmes et des systèmes, en particulier concurrents et distribués.
The NSE boosts Nmap's power by adding scripting capabilities (custom or community-created) to the network scanning tool.