Software Verification Websites
Static Source Code Analysis and Web Application Security - Armorize Te
Armorize offers flexible, fast and efficient web application security solutions at key points in the system development life cycle.
Whiley: an Open Source Programming Language with Extended Static Check
Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time.
Domagoj Babic's Home Page
Domagoj Babic is a computer scientist. His research interests include verification, testing, and security of complex software (and hardware) systems, automated inference of system models, design and verification of distributed systems, and applied formal methods in general.
Home | Adelard
Adelard offers safety-critical computer system services covering safety assessment, safety cases, safety management, research, software development, training and production of safety standards
Testing services,Software testing services,Software testing training ,
Pure testing offers its software testing services and software testing training consultation for SDLC products in India, US, Europe and other parts of the world . We help our clients plan their test investments and manage critical testing processes to reduce the total cost of producing quality software and better ROI.
Satyendra kr. Banjare
Website of Satyendra Kumar Banjare, Undergraduate student of IIT Roorkee | Verifiably Secure computing geek
ISS Ukraine - Information Software Systems Ukraine
Ukrainian engineering and software development company. Partners to Motorola, Freescale, Microsoft. Software development; tools for software verification; business and IT consultancy. Provides overview of company profile; software engineering; ISS services; company news
ArcLight Wireless Home
ArcLight Wireless is equipped to support our client’s software development team with verification services that are consistent with the internal reporting structures, while consultative in nature. Our professionals provide critical feedback to software developers to strengthen the product’s performance.
Jorge Navas Homepage
Jorge A. Navas is a senior researcher at Certora. Before, he was a senior computer scientist in the Computer Science Lab (CSL) at SRI International, a research engineer in the Robust Software Engineering Group at NASA Ames Research Center, a senior research fellow at The University of Melbourne, and a research fellow a