Search Sciweavers | Sciweavers

2282 search results - page 16 / 457

» Active property checking

107

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

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

15 years 7 months ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

Voted

GLVLSI
1999
IEEE

74views VLSI» more GLVLSI 1999»

Formal Checking of Properties in Complex Systems Using Abstractions

15 years 7 months ago

Download www.cecs.uci.edu

Dinos Moundanos, Jacob A. Abraham

claim paper

Read More »

104

Voted

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 7 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

118

Voted

ECTEL
2007
Springer

109views Machine Learning» more ECTEL 2007»

Curriculum Model Checking: Declarative Representation and Verification of Properties

15 years 6 months ago

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 »

124

Voted

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers