Musab A. Alturki, PhD
Projects
Publications
Talks
Teaching
Blog
CV

Musab A. Alturki, PhD

Senior Research Engineer @ Runtime Verification Inc. working on formal modeling and verification of blockchain and distributed systems

Urbana, IL, USA
Email
Twitter
LinkedIn
Github
Google Scholar
DBLP
ORCID

PVESTA: A Parallel Statistical Model Checking and Quantitative Analysis Tool

Date: September 02, 2011

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2021 Musab A. Alturki. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.