Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
프로젝트
Corral Program Verifier
Corral is a whole-program analysis tool for Boogie programs. Corral uses goal-directed symbolic search techniques to find assertion violations. It leverages the powerful theorem prover Z3. It is available open source on GitHub. Corral, by default, does a bounded search…
동영상
Webinar: Try F# for Big and Broad Data
Try F# is an easy on-ramp to learning F#, a simple and pragmatic programming language combining functional, object-oriented, and scripting programming. This webinar shows how to use the Try F# tutorials to solve real-world scenarios,…
