http://www.verify.inf.unisi.ch/news en http://www.verify.inf.unisi.ch/content/opensmt-10-alpha-successfully-participated-smtcomp10 <p>OpenSMT 1.0 alpha has won 3 categories in <a target="_blank" href="http://www.smtexec.org/exec/?jobs=684">SMT Competition 2010</a>: QF_IDL, QF_RDL and QF_UFIDL.</p> Mon, 26 Jul 2010 02:44:48 +0200 Aliaksei 115 at http://www.verify.inf.unisi.ch http://www.verify.inf.unisi.ch/content/paper-accepted-iccad-2010 <p>Our paper <a href="/publications/bruttomesso-rollini-sharygina-tsitovich-2010-flexible-interpolation-with-local-proof-transformations">&quot;Flexible Interpolation with Local Proof Transformations&quot;</a>&nbsp;was accepted to <a target="_blank" href="http://www.iccad.com/2010/index.html">ICCAD 2010</a>.</p> Tue, 29 Jun 2010 02:44:40 +0200 Aliaksei 114 at http://www.verify.inf.unisi.ch http://www.verify.inf.unisi.ch/content/our-paper-will-appear-facj2010 <p>New paper &quot;<a href="/publications/braghin-sharygina-barone-adesi-2010-model-checking-based-approach-security-policy-veri%EF%AC%81cation">A Model Checking-based Approach for Security Policy Verification of Mobile Systems</a>&quot; will appear in the&nbsp;<a target="_blank" href="http://www.springer.com/computer/theoretical+computer+science/journal/165">Formal Aspects of Computing Journal</a>.</p> Wed, 12 May 2010 18:21:12 +0200 Aliaksei 111 at http://www.verify.inf.unisi.ch http://www.verify.inf.unisi.ch/content/paper-accepted-memocode-2010 <p>&quot;<a href="/publications/bruttomesso-pek-sharygina-2010-flexible-schema-generating-explanations-lazy-theory-propagation">A Flexible Schema for Generating Explanations in Lazy Theory Propagation</a>&quot; paper was accepted to <a target="_blank" href="http://www-memocode2010.imag.fr/">Memocode 2010</a>.</p> Wed, 12 May 2010 15:12:26 +0200 Aliaksei 108 at http://www.verify.inf.unisi.ch http://www.verify.inf.unisi.ch/content/loopfrog-wing-2010 <p><a href="/loopfrog">Loopfrog</a> was accepted for a tool session of <a target="_blank" href="http://research.microsoft.com/en-us/events/wing2010/">Workshop on Invariant Generation</a> at <a target="_blank" href="http://www.floc-conference.org/">FLOC 2010</a></p> Sat, 01 May 2010 04:15:13 +0200 Aliaksei 107 at http://www.verify.inf.unisi.ch http://www.verify.inf.unisi.ch/content/terminaton-analysis-paper-cav-2010 <p>A paper &quot;<a href="/publications/termination-analysis-compositional-transition-invariants-Kroening-Sharygina-Tsitovich-Wintersteiger">Termination Analysis with Compositional Transition Invariants</a>&quot; was accepted to&nbsp;<a target="_blank" href="http://www.floc-conference.org/CAV-home.html">CAV 2010</a>.</p> Fri, 19 Mar 2010 01:24:07 +0100 mcWebAdmin 103 at http://www.verify.inf.unisi.ch http://www.verify.inf.unisi.ch/content/pincette-project-accepted-eu-fp7 <p>&quot;PINCETTE&quot; project on&nbsp; <meta charset="utf-8" />Validation of System Upgrades was approved by&nbsp;EU FP7 STREP for&nbsp;36 months funding.</p> Sat, 01 May 2010 03:26:43 +0200 Aliaksei 104 at http://www.verify.inf.unisi.ch http://www.verify.inf.unisi.ch/content/opensmt-solver-tacas10 <p>New paper titled &quot;<a href="/publications/roberto-bruttomesso-edgar-pek-natasha-sharygina-aliaksei-tsitovich-2010-opensmt-solver">The OpenSMT Solver</a>&quot; will appear at <a target="_blank" href="http://tacas10.in.tum.de/">TACAS 2010</a>.</p> Thu, 11 Feb 2010 01:40:30 +0100 mcWebAdmin 100 at http://www.verify.inf.unisi.ch http://www.verify.inf.unisi.ch/content/tool-program-termination-analysis <p>New <a target="_blank" href="http://www.cprover.org/termination/">tool for termination analysis</a> of C programs is available.</p> Thu, 11 Feb 2010 01:46:15 +0100 mcWebAdmin 101 at http://www.verify.inf.unisi.ch http://www.verify.inf.unisi.ch/content/new-paper-published <p>&nbsp;New paper published:&nbsp;<a href="http://www.verify.inf.unisi.ch/publications/roberto-bruttomesso-natasha-sharygina-2009-scalable-decision-procedure-fixed-width-bit-vectors">A Scalable Decision Procedure for Fixed-Width Bit-Vectors</a> at <a href="http://www.iccad.com/2010/index.html">ICCAD 2009</a>.</p> Mon, 30 Nov 2009 13:50:07 +0100 Natasha 98 at http://www.verify.inf.unisi.ch