Big Specification: Specification, Proof, and Testing at Scale


Dates : 07 octobre 2024 » 11 octobre 2024

Lieu : Cambridge
Royaume-Uni

Book your hotel


Organisateur : Isaac Newton Institute for Mathematical Sciences

Domaine : Informatique; Software Engineering
Sciences de l'ingénieur;
Mots-clé:: Engineering
Description :

Assurance of an implementation of any layer of the software stack requires an accurate specification of it -- and those specifications can be incredibly massive. Working with such large specifications creates extremely difficult problems, ranging from the purely bureaucratic (how can editors update such specifications in such a way that they have confidence that all needed updates happen in sync), to engineering (tools such as model checkers and proof assistants can start crashing in the face of massive specs), to the scientific (how can we know that a large spec has the properties we hope it does). Despite being difficulties, these difficulties are fundamentally good to have: the field has matured to the point where understanding how to write, maintain, and use large specifications is an important immediate problem, rather than a problem we hope to have in the future. This workshop gathers experts from across the spectrum of verification and assurance to share our experiences developing, using, and maintaining the kinds of complex specifications needed to engineer practical computer systems.


Isaac Newton Institute for Mathematical Sciences organise son événement intitulé Big Specification: Specification, Proof, and Testing at Scale se tiendra du 07 octobre 2024 au 11 octobre 2024 en Cambridge , Royaume-Uni. Il couvre divers domaines de Informatique, y compris Software Engineering. Pour plus d'informations, visitez le site web de la conférence ou contactez l'organisateur.
Ajouter au calendrier 2024-10-07 2024-10-11 Europe/London Big Specification: Specification, Proof, and Testing at Scale https://www.sciencedz.net/fr/conference/111866-big-specification-specification-proof-and-testing-at-scale Cambridge - Royaume-Uni Isaac Newton Institute for Mathematical Sciences

Trouver d'autres conférences connexes

Vous cherchez d'autres conférences scientifiques auxquelles participer ? Explorez un large éventail d'événements à venir dans divers domaines et lieux. Que vous recherchiez des sujets spécialisés, des lieux spécifiques ou des dates, nous avons un large éventail de conférences à vous proposer.
Conférences en Informatique en Royaume-Uni 2024 : Découvrez les dernières tendances et recherches en Informatique en participant à des conférences en Royaume-Uni en 2024. Créez des réseaux avec des professionnels, des chercheurs et des leaders de l'industrie pour rester à la pointe des avancées technologiques.
Conférences et séminaires en Royaume-Uni
Conférences et séminaires en Royaume-Uni en 2024
Conférences et séminaires en Informatique
Conférences et séminaires en Informatique en 2024
Conférences et séminaires en Informatique en Royaume-Uni
Conférences et séminaires en Informatique en Royaume-Uni en 2024
Tous les événements
Evénements par pays

Avertissement: Nous visons à fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons pas accepter la responsabilité pour le texte des annonces ou de la bonne foi des organisateurs de l'événement.S'il vous plaît, n'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses et nous tenterons d'y remédier.Nous ne sommes impliqués dans l'organisation d'aucun des événements répertoriés et nous ne gérons pas les paiements d'inscription au nom des organisateurs.