Search Sciweavers | Sciweavers

10038 search results - page 155 / 2008

» Model Checking for Managers

Voted

ATVA
2007
Springer

91views Hardware» more ATVA 2007»

Model Checking Contracts - A Case Study

15 years 10 months ago

Download folk.uio.no

Gordon J. Pace, Cristian Prisacariu, Gerardo Schne...

claim paper

Read More »

104

Voted

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

15 years 10 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

114

Voted

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

15 years 10 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

107

Voted

HVC
2007
Springer

109views Hardware» more HVC 2007»

Symbolic Execution and Model Checking for Testing

15 years 10 months ago

Download ti.arc.nasa.gov

Corina S. Pasareanu, Willem Visser

claim paper

Read More »

130

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers