Recherche
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
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,…
