Search Sciweavers | Sciweavers

2875 search results - page 17 / 575

» Model checking agentspeak

click to vote

JOT
2002

62views more JOT 2002»

Debugging UML Designs with Model Checking

13 years 7 months ago

Download www.lcc.uma.es

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

claim paper

Read More »

click to vote

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

13 years 7 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

13 years 7 months ago

Download www.cparity.com

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

claim paper

Read More »

click to vote

TOPLAS
1998

45views more TOPLAS 1998»

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

13 years 7 months ago

Download people.csail.mit.edu

Daniel Jackson, Somesh Jha, Craig Damon

claim paper

Read More »

click to vote

TOCL
2002

54views more TOCL 2002»

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

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers