Search Sciweavers | Sciweavers

12981 search results - page 215 / 2597

» Model Checking (Abstract)

105

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

15 years 9 months ago

Download www.lsv.ens-cachan.fr

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...

claim paper

Read More »

102

click to vote

HVC
2007
Springer

109views Hardware» more HVC 2007»

Symbolic Execution and Model Checking for Testing

15 years 9 months ago

Download ti.arc.nasa.gov

Corina S. Pasareanu, Willem Visser

claim paper

Read More »

125

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

15 years 9 months ago

Download www.trustsoft.uni-oldenburg.de

André Platzer, Edmund M. Clarke

claim paper

Read More »

103

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

Download www.stups.uni-duesseldorf.de

Michael Leuschel, Daniel Plagge

claim paper

Read More »

100

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers