notizie

Relazione invitata alla Int'l Conf. on Quality Software

4 aprile 2013

Roberto Bagnara terrà una relazione invitata alla 13th International Conference on Quality Software (QSIC 2013), 29-30 luglio 2013, a Nanchino, Cina. La serie di conferenze QSIC ha una lunga tradizione nel mettere insieme ricercatori e professionisti a presentare e discutere metodi innovativi per assicurare la qualità del software e dei sistemi in generale.

general

BUGSENG in varie conferenze internazionali

13 gennaio 2013

Il personale di BUGSENG è coinvolto in vari simposi e conferenze internazionali che si terranno nel 2013 e che hanno, tra i loro argomenti chiave, metodologie, tecniche e strumenti per il ragionamento (automatico) sui programmi. Roberto Bagnara è membro del comitato di programma per la 13th International Conference on Quality Software (QSIC 2013, Nanchino, Cina, 29-30 luglio 2013), la 29th International Conference on Logic Programming (ICLP 2013, Istambul, Turchia, 24-29 agosto 20

Leggi tutto »

general

Nuovo articolo accettato per ICST 2013

14 dicembre 2012

L'articolo Symbolic Path-Oriented Test Data Generation for Floating-Point Programs è stato accettato per la presentazione alla 6th IEEE International Conference on Software Testing, Verification and Validation. Leggi tutto »

eclair

È stata rilasciata la versione 1.0 della PPL

28 giugno 2012

La nuova versione include il supporto per la rappresentazione ottimizzata di vettori sparsi di coefficienti, il che comporta significativi miglioramenti di prestazioni, ad esempio quando si lavora con sistemi di vincoli che descrivono relazioni debolmente relazionali come le box e le octagonal shape. Ulteriori informazioni sono disponibili (in inglese) nelle note di rilascio .

general
ppl

BUGSENG selected ACE's SuperTest

1 giugno 2012

BUGSENG selected ACE’s SuperTest to validate its ECLAIR Software Verification Platform

Validation of Verification tools proves value

Amsterdam, June 1st, 2012. BUGSENG, a highly skilled business in program verification, based in Parma, Italy, has selected and acquired a license for the SuperTest™ compiler test and validation suite from ACE Associated Compiler Experts, the Dutch compiler and system software technology company. Leggi tutto »

1 allegato

È stata rilasciata la versione 0.12.1 della PPL

16 aprile 2012

La nuova versione include miglioramenti di portabilità, un paio di nuove funzionalità minori, alcune modifiche di interfaccia e la correzione di un errore nel risolutore PIP. Ulteriori informazioni sono disponibili (in inglese) nelle note di rilascio .

general
ppl

Nuovo articolo in stampa su Information and Computation

30 marzo 2012

L’articolo A New Look at the Automatic Synthesis of Linear Ranking Functions è stato accettato per la pubblicazione su Information and Computation. Questo lavoro presenta due algoritmi per la sintesi di funzioni di ranking lineari che hanno importanti applicazioni nell’analisi automatica di terminazione dei programmi. Leggi tutto »

general
ppl

È stata rilasciata la versione 0.12 della PPL

27 febbraio 2012

La nuova versione include miglioramenti di portabilità, alcune correzioni e miglioramenti di prestazioni per i risolutori MIP e PIP. Anche la configurabilità è stata migliorata, con speciale riguardo all'individuazione automatica della libreria GMP. ECLAIR è stato introdotto nel processo di sviluppo allo scopo di rendere la PPL conforme rispetto ad un appropriato sottoinsieme delle regole MISRA, CERT, NASA/JPL, ESA/BSSC ed altri standard di codifica diffusi.