Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
8828
search results - page 45 / 1766
»
Formal methods in practice
Sort
relevance
views
votes
recent
update
View
thumb
title
117
click to vote
SFM
2010
Springer
162
views
Formal Methods
»
more
SFM 2010
»
Performance and Security Tradeoff
15 years 10 months ago
Download
www.sti.uniurb.it
Katinka Wolter, Philipp Reinecke
claim paper
Read More »
129
click to vote
FM
2006
Springer
116
views
Formal Methods
»
more
FM 2006
»
A Memory Model Sensitive Checker for C#
15 years 9 months ago
Download
www.comp.nus.edu.sg
Thuan Quang Huynh, Abhik Roychoudhury
claim paper
Read More »
134
click to vote
FMCAD
2006
Springer
67
views
Formal Methods
»
more
FMCAD 2006
»
Assume-Guarantee Reasoning for Deadlock
15 years 9 months ago
Download
www.sei.cmu.edu
Sagar Chaki, Nishant Sinha
claim paper
Read More »
155
click to vote
FMCAD
2006
Springer
87
views
Formal Methods
»
more
FMCAD 2006
»
Model Checking Data-Dependent Real-Time Properties of the European Train Control System
15 years 9 months ago
Download
csd.informatik.uni-oldenburg.de
Johannes Faber, Roland Meyer
claim paper
Read More »
144
click to vote
FMICS
2006
Springer
88
views
Formal Methods
»
more
FMICS 2006
»
Discovering Symmetries
15 years 9 months ago
Download
www.csl.sri.com
Hassen Saïdi
claim paper
Read More »
« Prev
« First
page 45 / 1766
Last »
Next »
