Web Directory

    Top: Computers: Programming: Languages: Erlang: Research:

 

Verification of Erlang Programs

  Link Details for: Verification of Erlang Programs
Link Title: Verification of Erlang Programs Open in a new window
Link URL: http://www.sics.se/fdt/projects/vericode/evt.html
Link Details: A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.
Category: Top : Computers : Programming : Languages : Erlang : Research
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Verification of Erlang Programs