Search Sciweavers | Sciweavers

4447 search results - page 224 / 890

» Model Checking Games

click to vote

JOT
2002

62views more JOT 2002»

Debugging UML Designs with Model Checking

15 years 4 months ago

Download www.lcc.uma.es

María-del-Mar Gallardo, Pedro Merino, Ernes...

claim paper

Read More »

131

click to vote

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

15 years 4 months ago

Download www.cs.toronto.edu

Steve M. Easterbrook, Marsha Chechik

claim paper

Read More »

click to vote

TOIS
1998

61views more TOIS 1998»

Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking

15 years 4 months ago

Download www.cparity.com

P. David Stotts, Richard Furuta, Cyrano Ruiz Cabar...

claim paper

Read More »

110

click to vote

TOPLAS
1998

45views more TOPLAS 1998»

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

15 years 4 months ago

Download people.csail.mit.edu

Daniel Jackson, Somesh Jha, Craig Damon

claim paper

Read More »

102

click to vote

TOCL
2002

54views more TOCL 2002»

Datalog LITE: a deductive query language with linear time model checking

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers