Search
 
   

2 results for "domain:repository.upenn.edu"

  1. 0
    Loopy: Programmable and Formally Verified Loop Transformations (2016) ☶ c compilers formalmethods repository.upenn.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  2. 2
    From Verification to Implementation: A Model Translation Tool and Pacemaker Case Study (2012) formalmethods programming repository.upenn.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments