Michael A. Colón

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

Nikolaj Bjørner, Anca Browne, Michael A. Colón et al. · Formal Methods in System Design · 2000 · 91 citations

STeP: The Stanford Temporal Prover (Educational Release) User''s Manual

Nikolaj Bjørner, Anca Browne, Eddie Chang et al. · 1995 · 29 citations

Verification Diagrams, Engineering, Verification +21

Generating Finite-State Abstractions of Reactive Systems using Decision Procedures

Michael A. Colón, Tomás E. Uribe · 1998 · 16 citations

Polynomial approximations of the relational semantics of imperative programs

Michael A. Colón · Science of Computer Programming · 2006 · 14 citations

Declarative Programming, Engineering, Relational Semantics +5

A Test of the Inadvertent Uptake Hypothesis Using Plant Species Adapted to Serpentine Soil

George A. Meindl, Mark I. Poggioli, Daniel J. Bain et al. · Soil Systems · 2021 · 13 citations · Full text

Serpentine Soils, Biogeochemistry, Environmental Chemistry +15