1,720,983 research outputs found
Legge provvedimento autoapplicativa, violazione del giudicato costituzionale e responsabilità del legislatore : riflessioni a margine delle Sentt. NN. 250 E 405 del 2008
No full text
Ancora sulla 'natura' del ricorso straordinario alla luce della L. n. 69/2009 : (breve osservazione a Tar Lazio 16.03.2010, n. 4104)
No full text
Chi ha la parola in ordine alla «ministerialità» di un reato: la posizione della Cassazione penale sul «Caso Mastella»
No full textNell'articolo si analizza criticamente la sentenza della Corte di Cassazione relativa ai reati ministeriali. In particolare, viene sostenuta la tesi secondo cui il Tribunale dei Ministri debba sempre essere investito della questione dal Pubblico Ministero, fatta eccezione per i casi in cui la notizia del reato in questione sia manifestamente non ministeriale. In ogni caso, si deve garantire alle Camere la conoscenza ufficiale del processo penale
Bounded model checking of software using SMT solvers instead of SAT solvers
No full textC bounded model checking (cbmc) has proved to be a successful approach to automatic software analysis. The key idea is to (i) build a propositional formula whose models correspond to program traces (of bounded length) that violate some given property and (ii) use state-of-the-art SAT solvers to check the resulting formulae for satisfiability. In this paper, we propose a generalisation of the cbmc approach on the basis of an encoding into richer (but still decidable) theories than propositional logic. We show that our approach may lead to considerably more compact formulae than those obtained with cbmc. We have built a prototype implementation of our technique that uses a satisfiability modulo theories (SMT) solver to solve the resulting formulae. Computer experiments indicate that our approach compares favourably with—and on some significant problems outperforms—cbmc
- …
