Search Sciweavers | Sciweavers

6608 search results - page 194 / 1322

» On the Completeness of Model Checking

124

Voted

LFCS
2007
Springer

92views Artificial Intelligence» more LFCS 2007»

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

15 years 11 months ago

Download cs.nyu.edu

Raffaella Gentilini, Klaus Schneider, B. Mishra

claim paper

Read More »

115

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

15 years 11 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

121

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

15 years 11 months ago

Download www.uni-koblenz.de

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...

claim paper

Read More »

100

Voted

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Stochastic Model Checking

15 years 11 months ago

Download www.cs.uni-paderborn.de

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

114

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers