Steve Sims - Computer Scientist

I am a computer scientist specializing in software testing and validation. I co-founded and currently work for Reactive Systems, Inc. a company that builds and sells the Reactis software testing and validation tool. I developed the guided-simulation test-generation engine of Reactis and work with a talented team that continues to enhance the tool.  Reactis is now used by over 45 organizations located around the world in the automotive, aerospace, and heavy equipment industries.  

I previously worked on formal verification tools at the U.S. Naval Research Lab in Washington, D.C. Specifically I contributed to the development of the Salsa invariant checker. Salsa is a theorem prover with the user interface of a model checker. Like a model checker, given a model and a formula, Salsa automatically determines whether the formula is an invariant of the model. When a check fails, a counterexample is returned to explain why the formula fails to be an invariant. Salsa performs this check using theorem proving techniques, namely an automated induction proof. This approach enables Salsa to work with bigger models than can be processed by finite-state model checking techniques.

While in graduate school in the Department of Computer Science at North Carolina State University, I contributed to the development of The Concurrency Workbench of the New Century (CWB-NC) and the The Process Algebra Compiler (PAC-NC).

For more details see my resume or papers.

Contact

steve at simsnet dot org