Applied Formal Methods kindsoftware.blogspot.com

Discussions focusing on the application of formal methods in research and industry to "real world" problems.

DANSAS 2011 trip summary
kindsoftware.blogspot.com·769w·Blogger
Microsoft Research Software Summit trip report
kindsoftware.blogspot.com·787w·Blogger
Beta release of Votail
kindsoftware.blogspot.com·847w·Blogger
Choosing a Supervisor, part 8
kindsoftware.blogspot.com·847w·Blogger
Choosing a Supervisor, part 7
kindsoftware.blogspot.com·847w·Blogger
Choosing a Supervisor, part 6
kindsoftware.blogspot.com·847w·Blogger
Choosing a Supervisor, part 5
kindsoftware.blogspot.com·848w·Blogger
Choosing a Supervisor, part 4
kindsoftware.blogspot.com·850w·Blogger
Choosing a Supervisor, part 3
kindsoftware.blogspot.com·851w·Blogger
Applied Formal Methods at National Taiwan University
kindsoftware.blogspot.com·852w·Blogger
Choosing a Supervisor, part 2
kindsoftware.blogspot.com·852w·Blogger
Choosing a Supervisor, part 1
kindsoftware.blogspot.com·852w·Blogger
Soundationalists
kindsoftware.blogspot.com·854w·Blogger
Unshipped Software Does Not Exist
kindsoftware.blogspot.com·854w·Blogger
RSpec
kindsoftware.blogspot.com·854w·Blogger
New Year's Resolutions
kindsoftware.blogspot.com·855w·Blogger
Current Trends in Computer Science (Conference)
kindsoftware.blogspot.com·884w·Blogger
Program verifiers are complex
kindsoftware.blogspot.com·909w·Blogger
Data Structures in Imperative Languages
kindsoftware.blogspot.com·911w·Blogger
Matthew Parkinson verifies Java. Very brief and inaccurate version.
kindsoftware.blogspot.com·914w·Blogger

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help