Search Sciweavers | Sciweavers

12981 search results - page 237 / 2597

» Model Checking (Abstract)

145

Voted

RTSS
1995
IEEE

147views Control Systems» more RTSS 1995»

Compositional and Symbolic Model-Checking of Real-Time Systems

15 years 6 months ago

Download www.it.uu.se

E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...

Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

claim paper

Read More »

107

Voted

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 5 months ago

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

100

click to vote

DLOG
2007

91views Automated Reasoning» more DLOG 2007»

Model Checking of Restricted CTL* Formulas using ALCK

15 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

Taufiq Rochaeli, Claudia Eckert

claim paper

Read More »

113

click to vote

ATVA
2008
Springer

88views Hardware» more ATVA 2008»

Practical Efficient Modular Linear-Time Model-Checking

15 years 5 months ago

Download se.ethz.ch

Carlo A. Furia, Paola Spoletini

claim paper

Read More »

104

click to vote

CAV
2008
Springer

104views Hardware» more CAV 2008»

Semi-external LTL Model Checking

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers