'''Verification and Validation Laboratory'''

Welcome to the ''Verification and Validation Laboratory'' Wiki.  The Wiki is a great resource, and we invite you, the community, to help develop the site so it can better serve your needs and the needs of other researchers.  Most everything you need learn about our lab is found in the ''vv-lab'' menu on the left of the page.  We welcome your interest in our work.

== News ==
* '''20-Jul-2015''': jpf-hj Accepted to ASE 2015 ''New Ideas'' Category\\ ''Our work with model checking Habanero Java programs with JPF has been accepted for publication in [http://ase2015.unl.edu/#tab-main ASE 2015 New Ideas]. Check out [http://jpf.byu.edu/jpf-hj jpf-hj] for the paper and tool.''
* '''18-Feb-2015''': AAMAS paper and NFM paper\\ ''Two papers were accepted these last few weeks. One in [http://www.aamas2015.com/en/ AAMAS 2015] on modeling workload in human-machine teaming and the other in [http://nasaformalmethods.org NFM 2015] on deadlock detection in MPI programs. The [[Publications|publications]] section has been updated with full citations.''
* '''10-Dec-2014''': Funded Ph.D Position Available\\ ''I am looking to fund Ph.D. students working on the verification of task parallel programs (deadlock and data-race). Please review the [http://faculty.cs.byu.edu/~egm/phd-advert.txt details] and consider contacting me.''
* '''21-Aug-2013''': '''Accepted ASE Submission on MPI Verification'''\\ ''Our paper that details how to use SMT solvers to prove MCAPI executions correct has been accepted to ASE 2013 in Palo Alto CA. Congratulations to Yu.''
* '''18-Jun-2013''': '''Funded Research Positions Available'''\\ ''I have funding for research positions in two different projects: [[Modeling Operator Workload]] and [[Verifying Habanero Java with the Java Pathfinder Model Checker]]. Please contact [[Eric Mercer]] directly if you are interested.''
* '''17-Apr-2013''': '''Apply to my GSoC 2013 Project'''\\ ''The [http://babelfish.arc.nasa.gov/trac/jpf Java Pathfinder Team] has been accepted to participate in [http://www.google-melange.com/gsoc/homepage/google/gsoc2013 Google Summer of Code 2013] (GSoC 2013). I would encourage interested students to [http://www.google-melange.com/gsoc/homepage/google/gsoc2013 apply] to my project on [https://sites.google.com/site/jpfgsoc2013/#habanero Habanero Java] with more details [[Habanero Java Verification | here]]. GSoC 2013 includes a stipend for working on a project and an opportunity to travel to the GSoC 2013 summit. --- egm''
* [[News | Older news]]