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
4036
search results - page 12 / 808
»
Formal Methods
Sort
relevance
views
votes
recent
update
View
thumb
title
121
click to vote
SAS
2001
Springer
151
views
Formal Methods
»
more
SAS 2001
»
A Behavioral Module System for the Pi-Calculus
15 years 8 months ago
Download
www.cs.ucla.edu
Sriram K. Rajamani, Jakob Rehof
claim paper
Read More »
133
click to vote
FMSP
2000
ACM
131
views
Formal Methods
»
more
FMSP 2000
»
Using predicate abstraction to reduce object-oriented programs for model checking
15 years 8 months ago
Download
ti.arc.nasa.gov
Willem Visser, Seungjoon Park, John Penix
claim paper
Read More »
130
click to vote
FM
1999
Springer
103
views
Formal Methods
»
more
FM 1999
»
Verifying a Distributed Database Lookup Manager Written in Erlang
15 years 8 months ago
Download
www.erlang.se
Thomas Arts, Mads Dam
claim paper
Read More »
112
click to vote
FM
1999
Springer
102
views
Formal Methods
»
more
FM 1999
»
csp2B: A Practical Approach to Combining CSP and B
15 years 8 months ago
Download
eprints.ecs.soton.ac.uk
Michael J. Butler
claim paper
Read More »
110
click to vote
FM
1999
Springer
122
views
Formal Methods
»
more
FM 1999
»
Towards a Compositional Approach to the Design and Verification of Distributed Systems
15 years 8 months ago
Download
www.cs.unh.edu
Michel Charpentier, K. Mani Chandy
claim paper
Read More »
« Prev
« First
page 12 / 808
Last »
Next »
