A state/event-based model-checking approach for the analysis of abstract system properties

13 years 6 months ago

Download fmt.isti.cnr.it

system properties Maurice H. ter Beeka,∗ , Alessandro Fantechia,b , Stefania Gnesia , Franco Mazzantia a Istituto di Scienza e Tecnologie dell’Informazione ‘‘A. Faedo’’, CNR Via G. Moruzzi 1, 56124 Pisa, Italy b Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze Via S. Marta 3, 50139 Firenze, Italy a r t i c l e i n f o Article history: Received 8 June 2009 Accepted 14 July 2010 Available online 30 July 2010

Maurice H. ter Beek, Alessandro Fantechi, Stefania

Real-time Traffic

CNR Via G | Communications | Firenze Via S | Properties Maurice H | SCP 2011 |

claim paper

» Model Checking for a Class of Performance Properties of Fluid Stochastic Models

» Probabilistic Abstraction for Model Checking An Approach Based on Property Testing

» Model Checking Liveness Properties of Genetic Regulatory Networks

» Making the Right Cut in Model Checking DataIntensive Timed Systems

» On Model Checking Techniques for Randomized Distributed Systems

» Model Checking for Verification of Mandatory Access Control Models and Properties

» WordLevel Sequential Memory Abstraction for Model Checking

» Probabilistic Model Checking of Complex Biological Pathways

» Automatic NonInterference Lemmas for Parameterized Model Checking

Post Info
More Details (n/a)

Added	15 May 2011
Updated	15 May 2011
Type	Journal
Year	2011
Where	SCP
Authors	Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti

Comments (0)

Sciweavers

A state/event-based model-checking approach for the analysis of abstract system properties

CNR Via G | Communications | Firenze Via S | Properties Maurice H | SCP 2011 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers