William F. Wilson

Learn More
Variation in the temporal pattern of vulnerability can provide important insights into predator-prey relationships and the evolution of antipredator behavior. We illustrate these points with a system that has coyotes (Canis latrans) as a predator and two species of congeneric deer (Odocoileus spp.) as prey. The deer employ different antipredator tactics(More)
Muse is a verification system which extends the collection of tools developed by SRI for their Hierarchical Development Methodology (HDM). It enhances the SRI system by providing a capability for proving invariants and constraints for the state machine described by a SPECIAL specification. In particular, it enables one to use the HDM system to meet the(More)
  • 1