PhD on the Verification of Statistical Model Checking Algorithms
Mohammad Abdulaziz <[email protected]> Thu, 19 Feb 2026 14:29:42 +0000
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.coq.club |
|---|---|
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKSGkgRXZl cnlvbmUsCgpJIGFtIGN1cnJlbnRseSByZWNydWl0aW5nIGEgUGhEIHN0dWRlbnQgYXQgS2luZydz IENvbGxlZ2UgTG9uZG9uIHRvIHdvcmsgYXQgdGhlIGludGVyc2VjdGlvbiBvZiBmb3JtYWxpc2lu ZyBtYXRoZW1hdGljcywgdGhlb3JldGljYWwgQ1MsIGFuZCBmb3JtYWwgdmVyaWZpY2F0aW9uLiBU aGUgcHJvamVjdCBpcyBhYm91dCB0aGUgdmVyaWZpY2F0aW9uIG9mIHN0YXRpc3RpY2FsIG1vZGVs IGNoZWNraW5nIChTTUMpIGFsZ29yaXRobXMgd2hpY2ggcmVhc29uIGFib3V0IG1vZGVscyBvZiBw cm9iYWJpbGlzaXRpYyBzeXN0ZW1zLCBsaWtlIE1hcmtvdiBEZWNpc2lvbiBQcm9jZXNzZXMuIFRo ZSBwcm9qZWN0IGFjY29tbW9kYXRlcyBhbnl0aGluZyBmcm9tIHRoZSBmb3JtYWxpc2F0aW9uIChp biBJc2FiZWxsZSwgTGVhbiwgZXRjKSBvZiB0aGUgdGhlb3J5IGJlaGluZCBTTUMgdG8gdGhlIGZv cm1hbCB2ZXJpZmljYXRpb24gb2YgZWZmaWNpZW50IGV4ZWN1dGFibGUgU01DIHByb2dyYW1zLgoK VGhlIHByb2plY3QgaXMgZnVuZGVkIGJ5IFNUYVItQUkgKEhvbWUgZmVlIHN0YXR1cyBvbmx5KTog S2luZ+KAmXMgUHJpemUgRG9jdG9yYWwgUHJvZ3JhbW1lIGluIFNhZmUsIFRydXN0ZWQgYW5kIFJl c3BvbnNpYmxlIEFydGlmaWNpYWwgSW50ZWxsaWdlbmNlLiBJdCB3aWxsIGJlIGNvLXN1cGVydmlz ZWQgYnkgTW9oYW1tYWQgQWJkdWxheml6IGZyb20gdGhlIERlcGFydG1lbnQgb2YgSW5mb3JtYXRp Y3MgKGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL3d3dy5rY2wuYWMudWsvcGVv cGxlL21vaGFtbWFkLWFiZHVsYXppel9fOyEhSUJ6V0xVcyFTa2xHMW1GbDhCSG12ZVRGaHFsYmZD Y0l5NlluazV6S3hZVDJRTXhheExTWG1tWnlpZDN1QVdJR2tBWmxXZ05nd0ZLV2tsQzNURy1Nek12 ZG04aFZkdXNWUFMtZGZaVWVMU1YzT0RCbiQgKSBhbmQgSm9obiBBcm1zdHJvbmcgZnJvbSB0aGUg RGVwYXJ0bWVudCBvZiBNYXRoZW1hdGljcyAoaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0 dHBzOi8vd3d3LmtjbC5hYy51ay9wZW9wbGUvam9obi1hcm1zdHJvbmdfXzshIUlCeldMVXMhU2ts RzFtRmw4QkhtdmVURmhxbGJmQ2NJeTZZbms1ekt4WVQyUU14YXhMU1htbVp5aWQzdUFXSUdrQVps V2dOZ3dGS1drbEMzVEctTXpNdmRtOGhWZHVzVlBTLWRmWlVlTGJfZGY2MFIkICkuCiAKRGVhZGxp bmU6IDIgTWFyY2gKCk1vcmUgaW5mb3JtYXRpb24gYWJvdXQgdGhlIHByb2plY3Q6IApodHRwczov L3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly93d3cuZmluZGFwaGQuY29tL3BoZHMvcHJvamVj dC9mb3JtYWwtdmVyaWZpY2F0aW9uLW9mLXN0YXRpc3RpY2FsLW1vZGVsLWNoZWNraW5nLWFsZ29y aXRobXMvP3AxOTM2ODZfXzshIUlCeldMVXMhU2tsRzFtRmw4QkhtdmVURmhxbGJmQ2NJeTZZbms1 ekt4WVQyUU14YXhMU1htbVp5aWQzdUFXSUdrQVpsV2dOZ3dGS1drbEMzVEctTXpNdmRtOGhWZHVz VlBTLWRmWlVlTFNnbW9SS1AkIAoKQXBwbHkgaGVyZToKaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92 My9fX2h0dHBzOi8vd3d3LmtjbC5hYy51ay9yZXNlYXJjaC9zdGFyLWFpX187ISFJQnpXTFVzIVNr bEcxbUZsOEJIbXZlVEZocWxiZkNjSXk2WW5rNXpLeFlUMlFNeGF4TFNYbW1aeWlkM3VBV0lHa0Fa bFdnTmd3RktXa2xDM1RHLU16TXZkbThoVmR1c1ZQUy1kZlpVZUxkaWtuZjhpJCAKClBsZWFzZSBm ZWVsIGZyZWUgdG8gY29udGFjdCBtZSAobW9oYW1tYWQuYWJkdWxheml6QGtjbC5hYy51aykgb3Ig Sm9obiBBcm1zdHJvbmcgKGpvaG4uYXJtc3Ryb25nQGtjbC5hYy51aykgaWYgeW91IGFyZSBpbnRl cmVzdGVkIQoKQmVzdCB3aXNoZXMsCk1vaGFtbWFk