Search Sciweavers | Sciweavers

2872 search results - page 172 / 575

» On (Omega-)Regular Model Checking

click to vote

DLOG
2007

91views Automated Reasoning» more DLOG 2007»

Model Checking of Restricted CTL* Formulas using ALCK

15 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Taufiq Rochaeli, Claudia Eckert

claim paper

Read More »

click to vote

ATVA
2008
Springer

99views Hardware» more ATVA 2008»

Model Checking Recursive Programs with Exact Predicate Abstraction

15 years 1 months ago

Download www.cs.toronto.edu

e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...

Arie Gurfinkel, Ou Wei, Marsha Chechik

claim paper

Read More »

click to vote

ATVA
2008
Springer

88views Hardware» more ATVA 2008»

Practical Efficient Modular Linear-Time Model-Checking

15 years 1 months ago

Download se.ethz.ch

Carlo A. Furia, Paola Spoletini

claim paper

Read More »

click to vote

CAV
2008
Springer

104views Hardware» more CAV 2008»

Semi-external LTL Model Checking

15 years 1 months ago

Download www.memics.cz

Stefan Edelkamp, Peter Sanders, Pavel Simecek

claim paper

Read More »

click to vote

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers