Thumbnail
Access Restriction
Open

Author Lafuente, Alberto Lluch
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Spatial Connective ♦ Linear-time Temporal Logic Ltl ♦ Spatial Model Checker ♦ Veri Cation ♦ Exponential Complexity ♦ Certain State ♦ Main Property Speci Cation Mechanism ♦ Towards Model Checking Spatial Property ♦ Potential Improvement ♦ Spatial Property ♦ Spin Extension
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2007-01-01
Publisher Institution Proceedings of the 14th International SPIN Workshop on Model Checking Software (SPIN’07