cav12.cs.illinois.edu
CAV 2012
http://cav12.cs.illinois.edu/workshop.html
Computer Aided Verification (CAV) 2012. Berkeley, California, USA. July 7-13, 2012. 5th International Workshop on Numerical Software Verification. First International Workshop on Memory Consistency Models. Workshop on Exploiting Concurrency Efficiently and Correctly. 2nd International Workshop on Intermediate Verification Languages. Logics for System Analysis. 1st Workshop on Synthesis. Applications of Formal Methods in Systems Biology. Local information (accomodation, travel, visa info.).
frocos2013.loria.fr
FroCoS 2013
http://frocos2013.loria.fr/program-committee.html
Frontiers of Combining Systems. Nancy, France, September 18-20, 2013. Co-located with Tableaux 2013. All dates in 2013:. FaMAF - Universidad Nacional de Córdoba, Argentina. Free University of Bolzano-Bozen, Italy. TU Dresden, Germany. New York University, USA. NICTA, Canberra, Australia. Free University Berlin, Germany. TU München, Germany. Technical University of Denmark. University of Liverpool, UK. Inria Rocquencourt, France. Loria, Inria, University of Lorraine, France. University of Waterloo, Canada.
allydonaldson.blogspot.com
Blind to undecidability: December 2009
http://allydonaldson.blogspot.com/2009_12_01_archive.html
Computer chat, problems I have had and fixed, and maybe some stuff about my research in software verification (where undecidability is always lurking around the corner, but we plough on anyway! Wednesday, 16 December 2009. I am in a good mood this week because I (together with my co-authors Daniel Kroening. Just had a paper accepted to TACAS. On checking DMA races in multicore software. The paper is online here. The inspiration for this work came via my experience at Codeplay Software Ltd. IBM also have ...
cav2013.forsyte.at
Accepted Papers | CAV 2013
http://www.cav2013.forsyte.at/accepted-papers/index.html
25th International Conference on Computer Aided Verification. July 13 19, 2013 · Saint Petersburg, Russia. Skip to primary content. Skip to secondary content. Disjunctive Interpolants for Horn-Clause Verification. Oshri Adler, Cindy Eisner. Relative Equivalence in the Presence of Ambiguity. Alberto Puggelli, Wenchao Li, Alberto Sangiovanni-Vincentelli and Sanjit Seshia. Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. Hui Kong, Fei He, Xiaoyu Song. Pranav Garg, Christof ...
allydonaldson.blogspot.com
Blind to undecidability: DMA race checking
http://allydonaldson.blogspot.com/2009/12/dma-race-checking.html
Computer chat, problems I have had and fixed, and maybe some stuff about my research in software verification (where undecidability is always lurking around the corner, but we plough on anyway! Wednesday, 16 December 2009. I am in a good mood this week because I (together with my co-authors Daniel Kroening. Just had a paper accepted to TACAS. On checking DMA races in multicore software. The paper is online here. The inspiration for this work came via my experience at Codeplay Software Ltd. IBM also have ...
cav12.cs.illinois.edu
CAV 2012
http://cav12.cs.illinois.edu/program.html
Computer Aided Verification (CAV) 2012. Berkeley, California, USA. July 7-13, 2012. 5th International Workshop on Numerical Software Verification. Workshop on Exploiting Concurrency Efficiently and Correctly. 1st Workshop on Synthesis. Applications of Formal Methods in Systems Biology. Logics for System Analysis. 5th International Workshop on Numerical Software Verification. Workshop on Exploiting Concurrency Efficiently and Correctly. 1st Workshop on Synthesis. Chair: Sanjit A. Seshia. Chih-Hong Cheng, ...