Sciweavers

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

96

Voted

PLDI
2003
ACM

117views Programming Languages» more PLDI 2003»

Debugging temporal specifications with concept analysis

15 years 8 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)