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

Synthesis and Decomposition Reactions02:17

Synthesis and Decomposition Reactions

32.9K
Synthesis and decomposition are two types of redox reactions. Synthesis means to make something, whereas decomposition means to break something. The reactions are accompanied by chemical and energy changes. 
32.9K
Radical Reactivity: Overview01:11

Radical Reactivity: Overview

2.1K
Radicals, the highly reactive species, gain stability by undergoing three different reactions. The first reaction involves a radical-radical coupling, in which a radical combines with another radical, forming a spin‐paired molecule. The second reaction is between a radical and a spin‐paired molecule, generating a new radical and a new spin‐paired molecule. The third reaction is radical decomposition in a unimolecular reaction, forming a new radical and a spin‐paired...
2.1K
Multi-Step Reactions02:31

Multi-Step Reactions

7.3K
Chemical reactions often occur in a stepwise fashion involving two or more distinct reactions taking place in a sequence. A balanced equation indicates the reacting species and the product species, but it reveals no details about how the reaction occurs at the molecular level. The reaction mechanism (or reaction path) provides details regarding the precise, step-by-step process by which a reaction occurs. Each of the steps in a reaction mechanism is called an elementary reaction. These...
7.3K
Radical Reactivity: Nucleophilic Radicals01:16

Radical Reactivity: Nucleophilic Radicals

2.1K
Radicals adjacent to electron-donating groups are called nucleophilic radicals. These radicals readily react with electrophilic alkenes. The SOMO–LUMO interactions are the driving force for the reaction, where the high-energy SOMO of the electron-rich, nucleophilic radicals interacts with the low-energy LUMO of the electron-deficient, electrophilic alkenes. Such SOMO–LUMO interactions are the basis of reactive radical traps, affecting the selectivity in radical reactions. For...
2.1K
Pericyclic Reactions: Introduction01:17

Pericyclic Reactions: Introduction

8.3K
Pericyclic reactions are organic reactions that occur via a concerted mechanism without generating any intermediates. The reactions proceed through the movement of electrons in a closed loop to form a cyclic transition state, where rearrangement of the σ and π bonds yields specific products.
Pericyclic reactions can be classified into three categories: electrocyclic reactions, cycloaddition reactions, and sigmatropic rearrangements. Electrocyclic reactions and sigmatropic...
8.3K
Polymer Classification: Stereospecificity01:26

Polymer Classification: Stereospecificity

2.4K
Polymerization generates chiral centers along the entire backbone of a polymer chain. Accordingly, the stereochemistry of the substituent group has a significant effect on polymer properties. Polymers formed from monosubstituted alkene monomers feature chiral carbons at every alternate position in the polymer backbone. Relative to the predominant orientation of substituents at the adjacent chiral carbons, the polymer can exist in three different configurations: isotactic, syndiotactic, and...
2.4K

You might also read

Related Articles

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

Sort by
Same author

Predicate abstraction for hyperliveness verification.

Formal methods in system design·2025
Same author

Compositional synthesis of modular systems.

Innovations in systems and software engineering·2022
Same author

Live synthesis.

Innovations in systems and software engineering·2022
Same author

Visual Analysis of Hyperproperties for Understanding Model Checking Results.

IEEE transactions on visualization and computer graphics·2021
Same author

Synthesis from hyperproperties.

Acta informatica·2020
Same author

Monitoring hyperproperties.

Formal methods in system design·2019
Same journal

Guest Editorial: Intelligence for systems and software engineering.

Innovations in systems and software engineering·2023
Same journal

A systematic method for diagnosis of hepatitis disease using machine learning.

Innovations in systems and software engineering·2023
Same journal

Automated credit assessment framework using ETL process and machine learning.

Innovations in systems and software engineering·2023
Same journal

Mental health issues assessment using tools during COVID-19 pandemic.

Innovations in systems and software engineering·2022
Same journal

Opinion classification at subtopic level from COVID vaccination-related tweets.

Innovations in systems and software engineering·2022
Same journal

Forecasting adversities of COVID-19 waves in India using intelligent computing.

Innovations in systems and software engineering·2022
See all related articles

Related Experiment Video

Updated: Jul 11, 2025

Solid-phase Synthesis of [4.4] Spirocyclic Oximes
05:15

Solid-phase Synthesis of [4.4] Spirocyclic Oximes

Published on: February 6, 2019

6.9K

Specification decomposition for reactive synthesis.

Bernd Finkbeiner1, Gideon Geier2, Noemi Passing1

  • 1CISPA Helmholtz Center for Information Security, Saarbrücken, Germany.

Innovations in Systems and Software Engineering
|November 16, 2023
PubMed
Summary
This summary is machine-generated.

This study introduces a modular synthesis algorithm for reactive systems. It decomposes complex specifications into smaller, independent tasks, significantly reducing synthesis time and improving practicality for verified software and hardware development.

Keywords:
Compositional synthesisModular synthesisPreprocessing for synthesisReactive synthesisSpecification decomposition

More Related Videos

Synthesis of Information-bearing Peptoids and their Sequence-directed Dynamic Covalent Self-assembly
09:34

Synthesis of Information-bearing Peptoids and their Sequence-directed Dynamic Covalent Self-assembly

Published on: February 6, 2020

7.3K
Synthesis of a Water-soluble Metal–Organic Complex Array
06:40

Synthesis of a Water-soluble Metal–Organic Complex Array

Published on: October 8, 2016

9.9K

Related Experiment Videos

Last Updated: Jul 11, 2025

Solid-phase Synthesis of [4.4] Spirocyclic Oximes
05:15

Solid-phase Synthesis of [4.4] Spirocyclic Oximes

Published on: February 6, 2019

6.9K
Synthesis of Information-bearing Peptoids and their Sequence-directed Dynamic Covalent Self-assembly
09:34

Synthesis of Information-bearing Peptoids and their Sequence-directed Dynamic Covalent Self-assembly

Published on: February 6, 2020

7.3K
Synthesis of a Water-soluble Metal–Organic Complex Array
06:40

Synthesis of a Water-soluble Metal–Organic Complex Array

Published on: October 8, 2016

9.9K

Area of Science:

  • Computer Science
  • Formal Methods
  • Software Engineering

Background:

  • Reactive synthesis automates the creation of correct implementations from specifications.
  • Current reactive synthesis methods struggle with large, complex systems.
  • Developing verified programs and hardware requires efficient synthesis techniques.

Purpose of the Study:

  • To present a sound and complete modular synthesis algorithm.
  • To address the scalability limitations of existing reactive synthesis approaches.
  • To enable practical synthesis for complex specified systems.

Main Methods:

  • A novel algorithm that decomposes specifications into smaller, independent subspecifications.
  • Performing independent synthesis tasks on these subspecifications.
  • Guaranteed composition of resulting implementations to satisfy the original specification.

Main Results:

  • Significantly reduced complexity for individual synthesis tasks.
  • Demonstrated independence of subspecifications allowing parallel synthesis.
  • Modular synthesis approach leads to significant runtime decreases on benchmarks.
  • The algorithm functions as a preprocessing technique compatible with existing synthesis tools.

Conclusions:

  • The modular synthesis algorithm enhances the practicality of reactive synthesis for complex systems.
  • This approach offers a scalable solution for verified program and hardware development.
  • Modular synthesis is a viable preprocessing technique for state-of-the-art synthesis tools.