Learn More
A large commercial catfish enterprise encompassing over 500 food fish ponds from five farms covering multiple counties in the Mississippi Delta was included in this analysis of columnaris risk factors. A gram-negative bacterium, Flavobacterium columnare, is the cause of columnaris disease and is considered the second-most prevalent bacterial disease in(More)
Spark, a subset of Ada for engineering safety and security-critical systems , is one of the best commercially available frameworks for formal-methods-supported development of critical software. Spark is designed for verification and includes a software contract language for specifying functional properties of procedures. Even though Spark and its static(More)
Certain commercial entities, equipment, or materials may be identified in this document in order to describe an experimental procedure or concept adequately. Such identification is not intended to imply recommendation or endorsement by the National Institute of Standards and Technology, nor is it intended to imply that the entities, materials, or equipment(More)
This volume contains the proceedings of ACL2 2011, the International Workshop on the ACL2 Theorem Prover and its Applications. The workshop was held in Austin, Texas, USA, on November 3-4 2011. ACL2 2011 is the tenth in a series of workshops on the ACL2 Theorem Prover and its Applications. The workshop was co-located with the eleventh Conference on Formal(More)