Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: concurrent-programs

harmim/infer Fork of facebook/infer

A static analyzer for Java, C, C++, and Objective-C.

Language: OCaml - Size: 149 MB - Last synced: about 1 month ago - Pushed: 9 months ago - Stars: 3 - Forks: 1

emilstahl97/Concurrent-Programming-ID1217 📦

The course covers the core concepts, models, paradigms and techniques for concurrent programming. This forms the basis for operating systems, distributed systems and multiprocessor systems, including multicore systems. The course studies foundations and principles of concurrent programming.

Language: TeX - Size: 21 MB - Last synced: 9 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

harmim/vut-dip

Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

Language: C - Size: 63 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

canhminhdo/spec-based

Specification-based Testing Concurrent Java Programs with JPF and Maude

Language: Java - Size: 5.54 MB - Last synced: over 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

harmim/vut-excel-at-fit-2021

Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

Language: TeX - Size: 8.2 MB - Last synced: about 1 month ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

Related Keywords
concurrent-programs 5 java 4 static-analysis 3 program-analysis 3 ocaml 3 facebook-infer 3 facebook 3 cpp 3 concurrency 3 c 3 atomicity-violation 3 atomicity 3 atomer 3 abstract-interpretation 3 contracts-for-concurrency 2 vut 2 vut-fit 2 threads 1 master-thesis 1 jpf 1 maude 1 paralell-algorithm 1 testing 1 article 1 excel-at-fit 1 semaphores 1 processes 1 paradigms 1 mutual-exclusion 1 multiprocessor-systems 1 multicore-systems 1 monitors 1 condition-synchronization 1 concurrent-utilities 1 concurrent-objects 1