Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

PLDI
2003
ACM

favoriteEmaildiscussreport

117views Programming Languages» more PLDI 2003»

Debugging temporal specifications with concept analysis

13 years 9 months ago

Debugging temporal specifications with concept analysis

Download chess.eecs.berkeley.edu

Glenn Ammons, David Mandelin, Rastislav Bodí

Real-time Traffic

PLDI 2003 | Programming Languages |

claim paper

Related Content

» A Suite of Tools for Debugging Distributed Autonomous Systems

» LEADSTO A Language and Environment for Analysis of Dynamics by SimulaTiOn

» ComponentBased Modeling Analysis and Animation

» Mapping ConcurTaskTrees into UML 20

» Model checking the basic modalities of CTL with Description Logic

» From behaviour preservation to behaviour modification constraintbased mutant generation

» The complexity of gene expression dynamics revealed by permutation entropy

» Instrumental action the timely exchange of implements during surgical operations

» Eigentrend trend analysis in the blogosphere based on singular value decompositions

Post Info
More Details (n/a)

Added	05 Jul 2010
Updated	05 Jul 2010
Type	Conference
Year	2003
Where	PLDI
Authors	Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus

Comments (0)