Article10.1016/j.scico.2015.07.003
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
Zeynab Sabahi-Kaviani,Ramtin Khosravi,Peter Csaba Ölveczky,Ehsan Khamespanah,Marjan Sirjani-2015-07-29-Science of Computer Programming
12
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
Computer scienceModel checkingExecutableProgramming languageReachabilityFormal semantics (linguistics)Semantics (computer science)Formal verification
Chat
Click to start Chat