Book Chapter10.1007/978-3-319-15545-6_34
Formalization of Invariant Patterns for the Invariant Refinement Method
Tomáš Bureš,Ilias Gerostathopoulos,Jaroslav Keznikl,František Plášil,Petr Tůma-2015-01-01-Lecture notes in computer science
2
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
Computer scienceCorrectnessInvariant (physics)Mathematical proofTheoretical computer scienceAbstractionRefinement calculusAlgorithm
Chat
Click to start Chat