Sciweavers

422 search results - page 7 / 85

» Model Checking TLA Specifications

80

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

15 years 5 months ago

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

Download www.uni-koblenz.de

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...

claim paper

Read More »

90

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 »

76

Voted

TOPLAS
1998

45views more TOPLAS 1998»

Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications

14 years 11 months ago

Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications

Download people.csail.mit.edu

Daniel Jackson, Somesh Jha, Craig Damon

claim paper

Read More »

78

ISSE
2010

343views Security Privacy» more ISSE 2010»

Towards model checking executable UML specifications in mCRL2

14 years 10 months ago

Towards model checking executable UML specifications in mCRL2

Download www.artist-embedded.org

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Moha...

claim paper

Read More »

100

ENTCS
2006

112views more ENTCS 2006»

Patterns for Timed Property Specifications

14 years 11 months ago

Patterns for Timed Property Specifications

Download ebus.informatik.uni-leipzig.de

Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...

Volker Gruhn, Ralf Laue

claim paper

Read More »

« Prev « First page 7 / 85 Last » Next »