Browse New Popular Random Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

Verification of Erlang Programs

sics.se
Visit Site

A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.

Category
Research
Visits
223
Added
Jul 4, 2025
Rating
(142)
Rate This Site
More in Research Report
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Advertise herefrom $12.00/day  ·  RON $18.00/day
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Erlang QuickCheck 462 visits
Safer Erlang 443 visits
FORSE 365 visits
UBF 199 visits
A Practical Subtyping System For Erlang 176 visits
Advertise herefrom $15.00/day  ·  RON $21.00/day
Get the best links delivered weekly — hand-picked from 2,999,519 resources