Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach.
Sagar ChakiJoël OuaknineKaren YoravEdmund M. ClarkePublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- concurrent programs
- concurrent processes
- high level
- semi automated
- computer assisted
- context sensitive
- fully automated
- expert systems
- computer aided
- computer programs
- semi automatic
- programming environment
- fixpoint
- java programs
- mutual exclusion
- hierarchical reinforcement learning
- runtime environment
- concurrent programming
- hardware designs
- data sets