Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Pollination and Flower Structure02:40

Pollination and Flower Structure

77.4K
Flowers are the reproductive, seed-producing structures of angiosperms. Typically, flowers consist of sepals, petals, stamens, and carpels. Sepals and petals are the vegetative flower organs. Stamens and carpels are the reproductive organs.  
77.4K
Morphogenesis02:19

Morphogenesis

30.6K
Plant morphogenesis—the development of a plant’s form and structure—involves several overlapping developmental processes, including growth and cell differentiation. Precursor cells differentiate into specific cell types, which are organized into the tissues and organ systems that make up the functional plant.
30.6K
Dihybrid Crosses01:18

Dihybrid Crosses

81.8K
Overview
81.8K
Trihybrid Crosses02:27

Trihybrid Crosses

26.2K
Trihybrid Crosses
Some of Mendel’s crosses examined three pairs of contrasting characteristics. Such a cross is called a trihybrid cross. A trihybrid cross is a combination of three individual monohybrid crosses. For example, plant height (tall vs. short), seed shape (round vs. wrinkled), and seed color (yellow vs. green).
The F1 generation plants of a trihybrid cross are heterozygous for all three traits and produce eight gametes. Upon self-fertilization, these gametes have an equal...
26.2K
Seed Structure and Early Development of the Sporophyte02:33

Seed Structure and Early Development of the Sporophyte

31.4K
Seed structures are composed of a protective seed coat surrounding a plant embryo, and a food store for the developing embryo. The embryo contains the precursor tissues for leaves, stem, and roots. The endosperm and cotyledons—seed leaves—act as the food reserves for the growing embryo.
31.4K
Monohybrid Crosses01:20

Monohybrid Crosses

240.1K
Overview
240.1K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Metabolic responses of thermophilic endospores to sudden heat-induced perturbation in marine sediment samples.

Frontiers in microbiology·2022
Same author

Thermogenic hydrocarbon biodegradation by diverse depth-stratified microbial populations at a Scotian Basin cold seep.

Nature communications·2020
Same author

Climate change, fuel and fire behaviour in a eucalypt forest.

Global change biology·2017
Same author

Lower limb intracast pressures generated by different types of immobilisation casts.

World journal of orthopedics·2017
Same author

Tibial plateau fractures: functional outcome and incidence of osteoarthritis in 125 cases.

International orthopaedics·2009
Same author

Evaluation of BacLite Rapid MRSA, a rapid culture based screening test for the detection of ciprofloxacin and methicillin resistant S. aureus (MRSA) from screening swabs.

BMC microbiology·2006

Related Experiment Video

Updated: Feb 23, 2026

Reliable Method for Assessing Seed Germination, Dormancy, and Mortality under Field Conditions
07:03

Reliable Method for Assessing Seed Germination, Dormancy, and Mortality under Field Conditions

Published on: November 6, 2016

11.0K

Formal verification: will the seedling ever flower?

Neil White1, Stuart Matthews2, Roderick Chapman2

  • 1Altran UK, 22 St Lawrence Street, Bath BA1 1AN, UK neil.white@altran.com.

Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences
|September 6, 2017
PubMed
Summary

Formal specification and verification techniques have proven successful in critical systems. Wider industry adoption faces challenges despite their benefits for software quality.

Keywords:
SPARKformal methodsproofsoftware verification

More Related Videos

A Seed Coat Bedding Assay to Genetically Explore In Vitro How the Endosperm Controls Seed Germination in Arabidopsis thaliana
08:52

A Seed Coat Bedding Assay to Genetically Explore In Vitro How the Endosperm Controls Seed Germination in Arabidopsis thaliana

Published on: November 9, 2013

14.1K
Evaluation of Fertilization State by Tracing Sperm Nuclear Morphology in Arabidopsis Double Fertilization
05:21

Evaluation of Fertilization State by Tracing Sperm Nuclear Morphology in Arabidopsis Double Fertilization

Published on: August 29, 2019

9.0K

Related Experiment Videos

Last Updated: Feb 23, 2026

Reliable Method for Assessing Seed Germination, Dormancy, and Mortality under Field Conditions
07:03

Reliable Method for Assessing Seed Germination, Dormancy, and Mortality under Field Conditions

Published on: November 6, 2016

11.0K
A Seed Coat Bedding Assay to Genetically Explore In Vitro How the Endosperm Controls Seed Germination in Arabidopsis thaliana
08:52

A Seed Coat Bedding Assay to Genetically Explore In Vitro How the Endosperm Controls Seed Germination in Arabidopsis thaliana

Published on: November 9, 2013

14.1K
Evaluation of Fertilization State by Tracing Sperm Nuclear Morphology in Arabidopsis Double Fertilization
05:21

Evaluation of Fertilization State by Tracing Sperm Nuclear Morphology in Arabidopsis Double Fertilization

Published on: August 29, 2019

9.0K

Area of Science:

  • Computer Science
  • Software Engineering

Background:

  • Formal specification and verification (FSV) techniques have a history of academic development and industrial application.
  • Altran UK has pioneered the deployment of FSV in significant national systems over two decades.

Purpose of the Study:

  • To summarize key deployments of formal techniques in security- and safety-critical systems.
  • To reflect on the challenges hindering wider adoption of FSV in the software industry.

Main Methods:

  • Review of Altran UK's 20-year deployment history of formal techniques.
  • Analysis of the impact and adoption barriers of FSV in industrial contexts.

Main Results:

  • FSV techniques have been successfully applied to national security- and safety-critical systems.
  • Despite proven success, FSV remains confined to an industrial niche, with limited wider industry adoption.

Conclusions:

  • Formal techniques offer a proven solution to software quality issues.
  • Addressing community-level challenges is crucial for realizing the full societal impact of formal methods.