Who We Are
Our Mission
Extraordinary Experiences
The Entalus network comprises highly experienced research engineers who are dedicated to implementing sustainable practices for principled, high-assurance software design.
Recent advances in specification and verification technology make it possible to adopt a more rigorous approach to software development that yields significant cost savings and quality improvements across the software development lifecycle.
Entalus builds on key proven open-source technologies originally developed at SRI’s Computer Science Laboratory, supplemented by decades of experience creating secure, usable, trustworthy, and scalable software systems in close cooperation with industrial technology leaders and US government agencies.
Our Core Values
In reaching our goals on secure, usable, trustworthy, and scalable software we are committed to:
- Enable clients to create value
- Share obtained general knowledge with the public
- Have fun in making the world a better place