Register
|
Sign In
|
CodePlex Home
RSS Feed
Keep up with new
projects, releases, and more
MichalMoskal
User Stats
Member since:
April 15, 2009
Last visit:
January 17, 2012
Contact MichalMoskal
Coordinator on...
DKAL
Microsoft Research Boogie
VCC
Developer on...
Common Compiler Infrastruct...
Common Compiler Infrastruct...
VACID solutions
Personal Statement
I'm working on tools for verification of C programs at Microsoft Research Redmond. You can find more information at my
webpage
.
Recent Activity
(past 50 actions)
Work Item
January 17, 2012
VCC:
Modified work item: Support domain_updated_at in /3
Work Item
January 17, 2012
VCC:
Commented work item: Support domain_updated_at in /3
Wiki
January 12, 2012
VCC:
Edited wiki: VCC Applications
Wiki
January 11, 2012
VCC:
Edited wiki: VCC Applications
Wiki
January 11, 2012
VCC:
Edited wiki: VCC Applications
Wiki
January 11, 2012
VCC:
Edited wiki: VCC Applications
Wiki
January 11, 2012
VCC:
Edited wiki: VCC Applications
Work Item
December 15, 2011
VCC:
Commented work item: :lemma unsound for 2-state invariants
Projects I'm Following
No projects being followed.
Forks
You have no forks.
License Text Loading...
Updating...
© 2006-2012 Microsoft
|
Get Help
|
Privacy Statement
|
Terms of Use
|
Code of Conduct
|
Advertise With Us
|
Version 2012.2.7.18398