Search Sciweavers | Sciweavers

Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...

Michael Wooldridge, Paolo Ciancarini

claim paper

Read More »

153

click to vote

APN
2000
Springer

91views Artificial Intelligence» more APN 2000»

Improved Question-Guided Stubborn Set Methods for State Properties

15 years 11 months ago

Download www.daimi.au.dk

Lars Michael Kristensen, Antti Valmari

claim paper

Read More »

150

click to vote

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

15 years 11 months ago

Download www.eecs.umich.edu

Marc Spielmann

claim paper

Read More »

135

click to vote

ASM
2000
ASM

133views Computational Biology» more ASM 2000»

Using Abstract State Machines at Microsoft: A Case Study

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers