Web Directory

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

 

Model checking

  Link Details for: Model checking
Link Title: Model checking Open in a new window
Link URL: http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html
Link Details: Model checking Erlang code through formal methods.
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:
Model checking