TO
1 - 25 of 2
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Gopalakrishnan, Ganesh | Inspect: a runtime model checker for multithreaded C programs | We present Inspect, a runtime model checker for revealing concurrency bugs in multithreaded C programs. Inspect instruments a given program at all global interaction points, and with the help of a new scheduler, examines all relevant thread interleavings under dynamic partial order reduction (DPO... | Multithreaded C programs; Model checker; Inspect; Concurrency bugs | 2008 |
| 2 |
 | Gopalakrishnan, Ganesh | psolve: Deciding satisfiability for presburger formulae using automata, rewriting and a model checker | Presburger formulas are an expressive but decidable language of arithmetic expressions and boolaen connectives with quantification. psolve is a prototype of an automata based tool for deciding the satisfiability of Presburger formulae extended with a predicate that recognizes powers of two. The uniq... | psolve; Presburger formulas; Satisfiability; Automata; Rewriting; Model checker | 1999 |
1 - 25 of 2