Search Sciweavers | Sciweavers

4167 search results - page 224 / 834

» Regression model checking

111

click to vote

ISOLA
2007
Springer

120views Formal Methods» more ISOLA 2007»

Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more

15 years 10 months ago

Download www.stups.uni-duesseldorf.de

Michael Leuschel, Daniel Plagge

claim paper

Read More »

116

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 »

108

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 10 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

112

click to vote

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 »

Voted

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Stochastic Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers