Asymmetrische of publieke-sleutelcryptografie kan een zware wissel trekken op de processor, zowel op het vlak van berekeningen als qua geheugenverkeer. Barco Silex legt uit hoe zijn...
Het waren pijnlijke jaren, maar het gaat weer de goede kant op met zijn bedrijf, vertelt CTO René Penning de Vries van NXP. Een gesprek...
Beste lezers, dit is mijn laatste reguliere column. Ik heb de afgelopen jaren geschreven over intelligente pleisters en punaises, waar we nu het Holst Centre voor hebben. Ik heb geschreven over de...
23 juli 2010
Verum, ontwikkelaars van tools voor het wiskundig verifiëren van software, en Solidsource, maker van softwarekwaliteitstools, gaan samenwerken. In eerste instantie willen de partijen Solidsource’s kennis over het visualiseren van complexe informatie toepassen binnen Verums ASD:Suite. Het doel is dat Verums tools daarmee makkelijker te gebruiken worden. In de toekomst moeten Solidsources softwareanalysetools ook geďntegreerd worden in Verums producten.
© Bits & Chips | Deze pagina op internet: http://www.bits-chips.nl/nieuws/bekijk/artikel/verum-en-solidsource-gaan-tools-integreren.html
