<?xml version="1.0" encoding="UTF-8"?>
<posts update='2008-09-07 07:20:13' user=""><post 
   href="http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume21/dixon04a-html/zap1.html" 
   description="Generalizing Boolean Satisfiability I: Background and Survey of Existing Work" 
   
   hash="4acdea064517740d766c3ca4d88e61d4"
   user="brenz"
   tag="akt fnd.lfm "
   time="2008-08-27T13:15:26+0200" />
<post 
   href="http://alloy.mit.edu/community/" 
   description="Alloy Community" 
   
   hash="f8e1b3099403c4ce028eb89d5aeb00cc"
   user="brenz"
   tag="akt fnd.lfm "
   time="2008-07-17T09:09:11+0200" />
<post 
   href="http://www.cs.chalmers.se/Cs/Grundutb/Kurser/form/course.html" 
   description="Software Engineering using Formal Methods - About This Course" 
   
   hash="fc72759637e57a5ac9c6c1588933a89c"
   user="brenz"
   tag="akt fnd.lfm "
   time="2008-07-14T14:34:58+0200" />
<post 
   href="http://www.dcs.warwick.ac.uk/~doron/" 
   description="Doron A. Peled" 
   
   hash="41cc094a7dee7fe04cbb0cb3e5b33c5d"
   user="brenz"
   tag="akt fnd.lfm pers "
   time="2008-05-08T13:56:43+0200" />
<post 
   href="http://www.decision-procedures.org/toc/" 
   description="Decision Procedures -- An Algorithmic Point of View" 
   
   hash="5a980cfdc29f84655a3519fb78f6af3c"
   user="brenz"
   tag="akt fnd.lfm "
   time="2008-04-22T11:56:19+0200" />
<post 
   href="http://www.inf.ethz.ch/personal/kroening/" 
   description="Daniel Kroening" 
   
   hash="c48349009550dae311d83d2b7d1b45f6"
   user="brenz"
   tag="fnd.lfm pers "
   time="2008-04-22T11:54:25+0200" />
<post 
   href="http://www.decision-procedures.org/" 
   description="Decision Procedures -- An Algorithmic Point of View" 
   
   hash="20cbc3b06548ef377ebafe74b86df123"
   user="brenz"
   tag="akt fnd.lfm "
   time="2008-04-22T11:53:58+0200" />
<post 
   href="http://www.andrew.cmu.edu/user/avigad/practical/resources.html" 
   description="Course on formal methods CMU" 
   
   hash="a5bdeee49ee454b195a9bc21a89e5cef"
   user="brenz"
   tag="akt fnd.lfm "
   time="2008-04-22T11:51:08+0200" />
<post 
   href="http://theory.stanford.edu/people/uribe/" 
   description="Tomas E. Uribe&#039;s Home Page" 
   
   hash="ce5009f39717d63ee940c600eb51fd7d"
   user="brenz"
   tag="fnd.lfm pers "
   time="2008-04-22T11:48:46+0200" />
<post 
   href="http://www.cl.cam.ac.uk/~jrh13/" 
   description="John Harrison" 
   
     extended="homepage formal verification" 
   
   hash="a1b689e683622e9d8dd01a7ae6b60feb"
   user="brenz"
   tag="fnd.lfm pers "
   time="2008-04-22T11:11:32+0200" />
</posts>
