MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Model Checking for Managers." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Model Checking for Managers
by Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen — 1999 — In Theoretical and Practical Aspects of SPIN Model Checking, volume 1680 of LNCS
…Model Checking for Managers Wil Janssen 1 , Radu Mateescu 2 ,SjoukeMauw 3,4 , Peter Fennema 1…
Cited by 2 (0 self) – Add To MetaCart

Model Checking for Managers
by Wil Janssen Radu, Radu Mateescu, Sjouke Mauw, Peter Fennema — 1999 — In Theoretical and Practical Aspects of SPIN Model Checking, volume 1680 of LNCS
…Model Checking for Managers Wil Janssen 1 , Radu Mateescu 2 , Sjouke Mauw 3,4 , Peter Fennema 1…
Add To MetaCart

ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements
by P. Giorgini, F. Massacci, J. Mylopoulos, A. Siena, N. Zannone — 2005 — In Proc. of iTrust’05, LNCS 3477
… Model Data−layer Manager Integrity Checker Formal Languages & Analysis FormalTropos Datalog Fig. 1…
Cited by 2 (1 self) – Add To MetaCart

Structural Symbolic CTL Model Checking of Asynchronous Systems
by Gianfranco Ciardo, Radu Siminiceanu — 2003 — Proc. CAV
… 1g for notational simplicity and eciency. Symbolic model checking manages subsets of b…
Cited by 13 (8 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB