W. Marrero
Papers
1
Total Citations
28
H-Index
1
About
W. Marrero is a leading researcher in formal verification, with a focus on symbolic model checking for real-time and concurrent systems. His most influential contribution is the development of Verus (1995), a groundbreaking tool and specification language that enables efficient verification of finite-state systems with up to 10³⁰ states—often in minutes. This work, cited 28 times, demonstrates how symbolic techniques can be extended from hardware to time-critical software, making it possible to analyze complex real-time behaviors that were previously intractable. Marrero’s research has been instrumental in bridging the gap between theoretical model-checking algorithms and practical engineering tools, influencing subsequent work in embedded systems and safety-critical software verification. His contributions have helped establish model checking as a cornerstone of dependable system design, inspiring both academic research and industrial adoption.
Research Focus
Key Achievements
Top Papers
- 1Verus28 citations · 1995