FACTS
Truscova is a dynamic start-up company with more than 100 years of combined learning technology experience bringing together established Verification and Testing experts, computer scientists, business specialists, machine learning experts and design technologists.
Truscova is a dynamic start-up company with more than 100 years of combined learning technology experience bringing together established Verification and Testing experts, computer scientists, business specialists, machine learning experts and design technologists.
100% proofed
Team of Professors, PhDs, security and ML professionals
Several patents
20000+ Google scholar citations
Won several awards
35+ Published books
ACM Distinguished members and IEEE fellows
MEET OUR KEY EXECUTIVES
Truscova comes with 30+ years of academic research and hundreds of academic publications which pioneered the area of Formal Verification. The team combines academic leadership, industrial strength and Blockchain expertise.
Truscova comes with 30+ years of academic research and hundreds of academic publications which pioneered the area of Formal Verification. The team combines academic leadership, industrial strength and Blockchain expertise.
Dr.
Muhammad Hassan
CEO | Co-founder
He is our lead security auditor. Ph.D. in Computer Science from University of Bremen and M.Sc. from RWTH Aachen. He is an expert in formal verification, security validation, and compiler construction. He has extensive experience in secure systems development. Dr. Hassan is the winner of 2018 DVCon Europe best paper award.
Dr.
Muhammad Naiman Jalil
Co-founder
Naiman is our analytics and business expert. He has a Ph.D. from RSM, Erasmus University, Rotterdam in operations research applications. He has designed algorithms that power intelligent systems for various business applications. He was also Head of Data Science at a mobility service provider. At Truscova, he helps tech. team improve verification and auditing tools and also looks after company’s business side.
Prof. Dr.
Rolf Drechsler
Co-founder
Director of the Cyber-Physical Systems Group at the German Research Center for Artificial Intelligence (DFKI), Full Professor and Chair of Computer Architecture Research Group at the University of Bremen. Leading figure in research fields such as formal verification, testing, quantum computing, and security. He did pioneering work on binary decision ...diagrams, which form the basis for formal verification. Prof. Drechsler and his group have developed many ground-breaking techniques for verification and testing. He has received several awards and holds multiple patents. He is an ACM Distinguished Member and an IEEE Fellow.
Areas of
EXPERTISE
Over the years, we have developed and employed advanced verification and testing methods for complex systems.
Over the years, we have developed and employed advanced verification and testing methods for complex systems.
Formal verification techniques
Dynamic analysis
Constrained random and fuzz testing
Metamorphic testing
Advanced coverage metrics
Static analysis
BLOG
Get Insights, perspectives, and interesting discussions from our experts.
Explore the vital role of smart contract security audits in protecting Decentralized Autonomous Organizations (DAOs).
Blockchain technology and smart contracts have the potential to revolutionize supply chain management...
It's essential to choose the right testing mode to ensure a comprehensive and thorough evaluation of your code.
Smart Contracts Testing using Fuzzing: Introduction to Echidna
How Blockchain Technology Can Help Meet the Growing Demand for User Data in AI
A comprehensive verification of smart contracts is crucial for their successful deployment across various industries. 
The use of different SMT solvers and the definition of clear and precise invariants can help to catch bugs and ensure that smart contracts function.
Choose a reliable security auditor to protect your investment.
Formal verification simplified! SMTChecker makes it easy to ensure the correctness of your smart contracts.
It is an ideal time for enterprises to delve into this field, explore it, and if they are successfully able to execute their task, gaining an edge over their competitors will become inevitable.
The security audits are essential because any potential loss by executing a project without an audit is usually much larger than the cost of an audit.
In this blog article, we show how to apply formal verification to ensure correctness of a smart contract. 
It is necessary to understand the fundamentals of Ethereum Smart Contracts and digitalization to realize
the importance and impact of this technology.