MoonWalker is a software model checker for cil bytecode programs, which is able to detect deadlocks and assertion violations in cil assemblies, better known as ...

MoonWalker is a software model checker for cil bytecode programs, which is able to detect deadlocks and assertion violations in cil assemblies, better known ...

MoonWalker is a software model checker for cil bytecode programs, which is able to detect deadlocks and assertion violations in cil assemblies, better known ...

Mar 27, 2009 · MoonWalker is a software model checker for <Emphasis Type="SmallCaps">cil</Emphasis> bytecode programs, which is able to detect deadlocks ...

This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been ...

MoonWalker is a software model checker for CIL bytecode programs, which is able to detect deadlocks and assertion violations in CIL assemblies, better known ...

MoonWalker: Verification of .NET Programs · Department of Computer Science [120000] · Chair of Software Modeling and Verification (Computer Science 2) [121310] ...

MoonWalker: Verification of .NET Programs. Aan de Brugh, Niels H. M. (Author) ; Nguyen, Viet Yen (Author) ; Ruys, Theo C. (Author). In Tools and algorithms ...

For example, Java PathFinder (JPF) [20] and Moonwalker [26] verify properties of Java and .NET source programs, respec- tively. Both provide built-in ...

MoonWalker: Verification of .NET Programs. In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of ...