Amanote Research
Register
Sign In
Efficient Large-Scale Model Checking
doi 10.1109/ipdps.2009.5161000
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2009
Authors
Kees Verstoep
Henri E. Bal
Jiri Barnat
Lubos Brim
Publisher
IEEE
Related search
Model Checking Large Software Specifications
ACM SIGSOFT Software Engineering Notes
Efficient Model Checking of Networked Applications
Lecture Notes in Business Information Processing
Control
Systems Engineering
Information Systems
Business
International Management
Simulation
Management
Management Information Systems
Modeling
Extending Model Checking to Efficient Propositional Inference
International Journal of Machine Learning and Computing
Management
Computer Science Applications
Information Systems
Artificial Intelligence
Efficient Decompositional Model Checking for Regular Timing Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Proportional Damping Model for Simulating Seismic Response of Large-Scale Structures
Efficient Large-Scale Stance Detection in Tweets
International Journal of Multimedia Data Engineering and Management
Efficient Methods for Large-Scale Unconstrained Optimization
Large-Scale Nonlinear Optimization
Efficient Algorithms for Large-Scale Local Triangle Counting
ACM Transactions on Knowledge Discovery from Data
Computer Science
Efficient Collision Detection for Large-Scale Point-Clouds
Seimitsu Kogaku Kaishi/Journal of the Japan Society for Precision Engineering
Mechanical Engineering
