copton's web log

Showing posts with label formal-methods. Show all posts

Showing posts with label formal-methods. Show all posts

Tuesday, May 17, 2011

Correct by construction

Correct by construction
Alexander Bernauer
Easterhegg 2011 CCC Hamburg

Email This BlogThis!Share to X Share to Facebook Share to Pinterest

Labels: formal-methods, talk

Older Posts Home

Subscribe to: Posts (Atom)

Labels

C++ (54) memo (53) podcast (34) talk (21) publication (18) DSL (17) bookmark (16) free-software (14) freedom (13) wisdom (13) security (12) multithreading (10) linux (8) review (8) communication (7) embedded (7) project (7) bitcoin (6) personal-firewalls (6) system-administration (6) Python (5) WSN (5) CAN (4) Haskell (4) society (4) C (3) Java (3) contribution (3) debugging (3) parallel-programming (3) parser (3) software-patents (3) ubicomp (3) build-system (2) event (2) notes (2) scala (2) database (1) distributed-systems (1) formal-methods (1) functional-programming (1) gcc (1) operating-systems (1) privacy (1) version-control (1)

Delicious

About Me

Unknown

View my complete profile

Awesome Inc. theme. Powered by Blogger.