Adventium Labs [$ADVL]
Adventium researches, develops and transfers advanced technology in the fields of cyber security, automated reasoning, and systems engineering. For cyber security, Adventium's technology protects computers and networks from internal and external cyber-oriented threats. For automated reasoning, Adventium develops model-based reasoning and mathematical analysis technology to automate difficult or error prone tasks for humans. For systems engineering, Adventium develops and applies formal processes to design, model, and analyze complex cyber physical systems ranging from medical devices to spacecraft.