Properties (96)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:affiliation |
gptkb:Carnegie_Mellon_University
|
| gptkbp:author |
gptkb:Doron_Peled
Orna Grumberg |
| gptkbp:awardedBy |
Turing Award
|
| gptkbp:birthDate |
April 27, 1944
|
| gptkbp:birthPlace |
gptkb:West_Virginia,_USA
|
| gptkbp:contribution |
Automated Verification
Advancements in Formal Verification Techniques Development of SPIN Model Checker Research on Hardware Verification Research on Model Checking Algorithms Research on Model Checking Tools Research on Temporal Logic Research_on_Verification_of_System_Future_Directions Development_of_NuSMV Research_on_Software_Verification Research_on_Verification_of_Communication_Systems Research_on_Verification_of_Concurrent_Systems Research_on_Verification_of_Control_Systems Research_on_Verification_of_Cyber-Physical_Systems Research_on_Verification_of_Distributed_Systems Research_on_Verification_of_Embedded_Systems Research_on_Verification_of_Hardware_Systems Research_on_Verification_of_Network_Protocols Research_on_Verification_of_Real-Time_Systems Research_on_Verification_of_Security_Protocols Research_on_Verification_of_Software_Architectures Research_on_Verification_of_Software_Systems Research_on_Verification_of_System_Adaptability Research_on_Verification_of_System_Behaviors Research_on_Verification_of_System_Best_Practices Research_on_Verification_of_System_Challenges Research_on_Verification_of_System_Compatibility Research_on_Verification_of_System_Compliance Research_on_Verification_of_System_Configuration Research_on_Verification_of_System_Deployment Research_on_Verification_of_System_Designs Research_on_Verification_of_System_Developments Research_on_Verification_of_System_Efficiency Research_on_Verification_of_System_Flexibility Research_on_Verification_of_System_Frameworks Research_on_Verification_of_System_Governance Research_on_Verification_of_System_Guidelines Research_on_Verification_of_System_Implementations Research_on_Verification_of_System_Innovations Research_on_Verification_of_System_Integration Research_on_Verification_of_System_Interactions Research_on_Verification_of_System_Maintainability Research_on_Verification_of_System_Management Research_on_Verification_of_System_Methodologies Research_on_Verification_of_System_Models Research_on_Verification_of_System_Modularity Research_on_Verification_of_System_Operation Research_on_Verification_of_System_Opportunities Research_on_Verification_of_System_Performance Research_on_Verification_of_System_Portability Research_on_Verification_of_System_Practices Research_on_Verification_of_System_Processes Research_on_Verification_of_System_Properties Research_on_Verification_of_System_Reliability Research_on_Verification_of_System_Requirements Research_on_Verification_of_System_Safety Research_on_Verification_of_System_Scalability Research_on_Verification_of_System_Security Research_on_Verification_of_System_Specifications Research_on_Verification_of_System_Standards Research_on_Verification_of_System_Technologies Research_on_Verification_of_System_Tools Research_on_Verification_of_System_Trends Research_on_Verification_of_System_Usability Research_on_Verification_of_System_Workflows Research_on_Verification_of_System_Interoperability Research_on_Verification_of_Safety-Critical_Systems |
| gptkbp:education |
Ph.D._in_Computer_Science
|
| gptkbp:fellow |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:Association_for_Computing_Machinery gptkb:Institute_of_Electrical_and_Electronics_Engineers |
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
E. M. Clarke
|
| gptkbp:influenced |
Formal Methods
|
| gptkbp:influencedBy |
gptkb:John_McCarthy
|
| gptkbp:knownFor |
Model Checking
Advancements in Software Engineering |
| gptkbp:nationality |
American
|
| gptkbp:notableWork |
Temporal_Logic
|
| gptkbp:patentDescription |
A_Theory_of_the_Finite_State_Machines
|
| gptkbp:publishes |
Software Model Checking
Model Checking: A Tutorial Model Checking Book Temporal Logic in Computer Science Verification of Reactive Systems |
| gptkbp:researchAreas |
Verification
|
| gptkbp:researchInterest |
gptkb:Cyber-Physical_Systems
Artificial Intelligence Systems Biology |