Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Trout Green Technologies (United States) | Researchclopedia

Back to institutions

Trout Green Technologies (United States)

Austin, Texascompany

1

Works

1,340

Citations

2

h-index

Top Research Topics

Formal Methods in Verification Software Testing and Debugging Techniques Software Reliability and Analysis Research

Top Researchers

31 works5,059 citationsh-index: 17

Recent Research

Bounded Model Checking Using Satisfiability Solving

Edmund M. Clarke,Armin Biere,et al.

2001670 citations

Richard Raimi Motorola (United States)

9 works923 citationsh-index: 6