Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

GLVLSI
1999
IEEE

favoriteEmaildiscussreport

74views VLSI» more GLVLSI 1999»

Formal Checking of Properties in Complex Systems Using Abstractions

13 years 9 months ago

Formal Checking of Properties in Complex Systems Using Abstractions

Download www.cecs.uci.edu

Dinos Moundanos, Jacob A. Abraham

Real-time Traffic

GLVLSI 1999 | VLSI |

claim paper

Related Content

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

» Automatic Generation of Complex Properties for Hardware Designs

» Formal Coverification of Embedded Systems Using Model Checking

» On the consistency expressiveness and precision of partial modeling formalisms

» The symmetry of the past and of the future biinfinite time in the verification of temporal...

» MetaModelling Graph Transformation and Model Checking for the Analysis of Hybrid Systems

» Probabilistic Model Checking of Complex Biological Pathways

» Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Langua...

» Evaluating Context Descriptions and Property Definition Patterns for Software Formal Valid...

Post Info
More Details (n/a)

Added	03 Aug 2010
Updated	03 Aug 2010
Type	Conference
Year	1999
Where	GLVLSI
Authors	Dinos Moundanos, Jacob A. Abraham

Comments (0)