×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [model checker]
Tutorial NuSMV
81 views
Spin Tutorial
86 views
An Overview of Distributed Debugging
197 views
Accelerating the Industrial Deployment of Model-Checking for SW Verification: Lessons from 10 years of Model Checking Deployment for HW Verification in
228 views
Carnegie Mellon University A View from the Engine Room: Computational Support for Symbolic Model Checking bryant Randal E. Bryant
223 views
Chapter 15 Dependability and Security Assurance Lecture 1 1Chapter 15 Dependability and Security Assurance
259 views
Model-Based Simulation of SOAP Web Services From Temporal Logic Specifications (Talk @ ICECCS 2011)
1.340 views
Control-Plane Protocol Interactions in Cellular Networks Guan-Hua Tu *1, Yuanjie Li *1, Chunyi Peng 2, Chi-Yu Li 1, Hongyi Wang 1, Songwu Lu 1 * The first
215 views
Model Checking and Planning for Critical Software Paolo Traverso ITC/IRST, Via Sommarive 18, 38050 Trento
[email protected]
htttp://sra.itc.it
228 views
AndroidCompiler. Layout Motivation Literature Review AndroidCompiler Future Works
223 views
Building Spoken Dialogue Systems for Embodied Agents Lecture 2 Johan Bos School of Informatics The University of Edinburgh
218 views
6/22/011 Case Study: Computer Assisted Resuscitation Algorithm (CARA) System Insup Lee Department of Computer and Information Science University of Pennsylvania
215 views
Next >