Search Sciweavers | Sciweavers

6167 search results - page 11 / 1234

» Can Refinement be Automated

click to vote

FMCO
2009
Springer

128views Formal Methods» more FMCO 2009»

Patterns for Refinement Automation

13 years 7 months ago

Download deploy-eprints.ecs.soton.ac.uk

Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...

claim paper

Read More »

click to vote

DATE
2007
IEEE

100views Hardware» more DATE 2007»

Abstraction and refinement techniques in automated design debugging

14 years 1 months ago

Download www.eecg.toronto.edu

Sean Safarpour, Andreas G. Veneris

claim paper

Read More »

click to vote

ICEIS
2007
IEEE

70views Information Technology» more ICEIS 2007»

Refinement Propagation - Towards Automated Construction of Visual Specifications

14 years 1 months ago

Download lamspeople.epfl.ch

Irina Rychkova, Alain Wegmann

claim paper

Read More »

click to vote

CAV
2008
Springer

112views Hardware» more CAV 2008»

Automated Assume-Guarantee Reasoning by Abstraction Refinement

13 years 11 months ago

Download ti.arc.nasa.gov

Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dim...

claim paper

Read More »

click to vote

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers