Search Sciweavers | Sciweavers

2872 search results - page 145 / 575

» On (Omega-)Regular Model Checking

115

click to vote

LFCS
2007
Springer

92views Artificial Intelligence» more LFCS 2007»

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

15 years 10 months ago

Download cs.nyu.edu

Raffaella Gentilini, Klaus Schneider, B. Mishra

claim paper

Read More »

106

Voted

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

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

15 years 10 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

110

Voted

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

15 years 10 months ago

Download www.uni-koblenz.de

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

claim paper

Read More »

click to vote

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Stochastic Model Checking

15 years 10 months ago

Download www.cs.uni-paderborn.de

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

111

Voted

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers