Search Sciweavers | Sciweavers

386 search results - page 3 / 78

» Model Classifications and Automated Verification

click to vote

DFG
2004
Springer

145views Operating System» more DFG 2004»

Modeling and Formal Verification of Production Automation Systems

13 years 11 months ago

Download www-ti.informatik.uni-tuebingen.de

This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...

Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wo...

claim paper

Read More »

click to vote

UML
2004
Springer

101views Natural Language Processing» more UML 2004»

Automated Verification of UMLsec Models for Security Requirements

14 years 1 months ago

Download www4.in.tum.de

Jan Jürjens, Pasha Shabalin

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

14 years 20 days ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

click to vote

ACSD
2004
IEEE

90views Hardware» more ACSD 2004»

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models

13 years 11 months ago

Download ece.ut.ac.ir

Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoor...

claim paper

Read More »

click to vote

FM
2009
Springer

127views Formal Methods» more FM 2009»

Automated Property Verification for Large Scale B Models

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers