Sciweavers

2282 search results - page 16 / 457

» Active property checking

22

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

14 years 2 months ago

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

18

GLVLSI
1999
IEEE

74views VLSI» more GLVLSI 1999»

Formal Checking of Properties in Complex Systems Using Abstractions

14 years 2 months ago

Formal Checking of Properties in Complex Systems Using Abstractions

Download www.cecs.uci.edu

Dinos Moundanos, Jacob A. Abraham

claim paper

Read More »

33

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

14 years 2 months ago

Model Checking of Real-Time Reachability Properties Using Abstractions

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

29

ECTEL
2007
Springer

109views Machine Learning» more ECTEL 2007»

Curriculum Model Checking: Declarative Representation and Verification of Properties

14 years 1 months ago

Curriculum Model Checking: Declarative Representation and Verification of Properties

Download rewerse.net

When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...

Matteo Baldoni, Elisa Marengo

claim paper

Read More »

25

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

14 years 1 months ago

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

« Prev « First page 16 / 457 Last » Next »