Search Sciweavers | Sciweavers

2873 search results - page 146 / 575

» Model Checking and the Mu-calculus

click to vote

ATVA
2007
Springer

91views Hardware» more ATVA 2007»

Model Checking Contracts - A Case Study

15 years 4 months ago

Download folk.uio.no

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

claim paper

Read More »

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

15 years 4 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

15 years 4 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

click to vote

HVC
2007
Springer

109views Hardware» more HVC 2007»

Symbolic Execution and Model Checking for Testing

15 years 4 months ago

Download ti.arc.nasa.gov

Corina S. Pasareanu, Willem Visser

claim paper

Read More »

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers