News

From FSL

2009-08-14: Sad news -- Feng Chen, our colleague and our friend has passed away last Saturday. Feng Chen — In Memoriam

2009-07-12: Matching Logic now has its own wiki page. Matching logic is a new formalism for verifying programs.

2009-01-23: Circ has been updated. New features include: automatized detection and verification of (user-defined) special contexts, a new induction engine, applying user-defined strategies.

2008-12-22: Towards a Module System for K describes ongoing work on modularity features for the K framework

2008-12-01: FSM page has been launched. JavaMOP specific examples can be found here

2007-10-18: ptCaRet page has been launched

2007-10-2: jPredictor 0.2 has been released

2007-07-2: K-Scheme page has been launched

2007-06-11: FMOODS'07 paper on tuning analysis performance for object-oriented languages defined using rewriting logic semantics was published in LNCS 4468, pp 107-121

2007-04-20: MProlog page has been launched

2007-02-21: KOOL version 1.2 has been released, including updated semantics and a web-based interface

2006-11-27: JavaFAN page has been launched

2006-11-06: JavaMOP version 1.1 has been released, together with a new web-based interface

2006-10-03: Technical report on applying Monitoring-Oriented Programming in software development

2006-08-24: SAS'06 paper on parametric and termination-sensitive control dependence was published in LNCS 4134, pp 387-404

2006-07-28: RTA'06 paper on translating conditional term rewriting systems into equivalent unconditional ones was published in LNCS 4098, pp 19-34

2006-05-10: JavaMOP version 1.0 has been released

2006-05-01: RTA'06 paper on translating conditional term rewriting systems into equivalent unconditional ones

2006-04-25: CAV'06 paper on Allen temporal logic, its translation to LTL, and monitor synthesis

2006-04-22: Technical report on K,a rewrite logic framework for language design, semantics, analysis and implementation

2006-04-01: FOSSACS'06 paper on a model theoretical approach to Craig interpolation