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 109 / 808
»
Formal Methods
Sort
relevance
views
votes
recent
update
View
thumb
title
106
click to vote
CAV
2009
Springer
137
views
Hardware
»
more
CAV 2009
»
An Antichain Algorithm for LTL Realizability
16 years 7 months ago
Download
www.antichains.be
Emmanuel Filiot, Jean-François Raskin, Naiy...
claim paper
Read More »
131
click to vote
CAV
2009
Springer
106
views
Hardware
»
more
CAV 2009
»
Models and Proofs of Protocol Security: A Progress Report
16 years 7 months ago
Download
www.di.ens.fr
Bruno Blanchet, Hubert Comon-Lundh, Martín ...
claim paper
Read More »
132
click to vote
CAV
2009
Springer
126
views
Hardware
»
more
CAV 2009
»
Reachability Analysis of Hybrid Systems Using Support Functions
16 years 7 months ago
Download
www-verimag.imag.fr
Colas Le Guernic, Antoine Girard
claim paper
Read More »
158
click to vote
VMCAI
2010
Springer
172
views
Software Engineering
»
more
VMCAI 2010
»
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
16 years 1 months ago
Download
ropas.snu.ac.kr
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...
claim paper
Read More »
203
click to vote
FM
2009
Springer
116
views
Formal Methods
»
more
FM 2009
»
Language and Tool Support for Class and State Machine Refinement in UML-B
16 years 28 days ago
Download
eprints.ecs.soton.ac.uk
Mar Yah Said, Michael J. Butler, Colin F. Snook
claim paper
Read More »
« Prev
« First
page 109 / 808
Last »
Next »
