Sciweavers

2872 search results - page 168 / 575

» On (Omega-)Regular Model Checking

122

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 10 months ago

Model Checking and Abstraction

Download www.cs.cmu.edu

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

claim paper

Read More »

132

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

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

154

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

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

149

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

15 years 10 months ago

Model Checking Bounded Prioritized Time Petri Nets

Download homepages.laas.fr

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

claim paper

Read More »

157

ECTEL
2007
Springer

109views Machine Learning» more ECTEL 2007»

Curriculum Model Checking: Declarative Representation and Verification of Properties

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