Sciweavers

2872 search results - page 168 / 575

» On (Omega-)Regular Model Checking

65

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 3 months ago

Model Checking and Abstraction

Download www.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

71

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

15 years 3 months ago

Sequential Circuit Verification Using Symbolic Model Checking

Download www.cadence.com

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...

claim paper

Read More »

88

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 3 months ago

Relating counterexamples to test cases in CTL model checking specifications

Download www.ist.tugraz.at

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...

claim paper

Read More »

80

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

15 years 3 months ago

Model Checking Bounded Prioritized Time Petri Nets

Download homepages.laas.fr

Bernard Berthomieu, Florent Peres, François...

claim paper

Read More »

82

ECTEL
2007
Springer

109views Machine Learning» more ECTEL 2007»

Curriculum Model Checking: Declarative Representation and Verification of Properties

15 years 3 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 »

« Prev « First page 168 / 575 Last » Next »